# Change Log

## WIP

## [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`