Known Bugs ======== - Up to `0.1.1`: You need to enable `{-# LANGUAGE ScopedTypeVariables #-}` in client modules - Up to `0.1.1`: Operator-like (e.g. `(&%$)`) type families not supported yet Version History ========== _newest first_ `0.1.1.1` Mention `changelog.md` in `.cabal` file (2017-10-14) `0.1.1` Bugfix, *injective* type families now allowed (2017-10-12) `0.1` Bugfixes (2017-10-12) `0.0.0.1` Documentation fixes (2017-10-08) `0.0` Initial release (2017-10-08)