Gradual typing?

[billpmurphy]

It seems like it would be relatively easy to enable gradual typing in Hask. In Hask's internal type system, the type of Python functions and methods (regardless of arity) is PyFunc. To enable gradual typing, there could be an option that will allow any function type to unify with PyFunc.