autoapply-0.4: changelog.md

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