Change Log

WIP

[0.4] - 2020-05-06

• Allow specifying if the types of potential arguments should subsume or just unify with the function's argument types
• Respect constraints when passing arguments (ignoring type families)

[0.3] - 2020-05-06

• Check constraints on functions

[0.2.0.0] - 2020-05-01

• Allow instantiating a polymorphic return type as a monadic value. For example autoapply '[getFooIO] (bar :: Foo -> b) will have type IO b.

[0.1.0.0] - 2020-04-26

• Initial release
• autoapply and autoapplyDecs