4.0.2
-----
* Made := kind polymorphic.

4.0.1
-----
* Provided an explicit nominal `RoleAnnotation`.

4.0
---
* Updated to work with `semigroupoids` 4.0

3.1.1
-----
* Claim to be `Trustworthy`

3.1
---
* Disabled observing injectivity through `TypeFamilies` for GHC >= 7.6

3.0.1
-----
* Updated build system
* Removed my personal intra-package dependency upper bounds
* Added `README` and `CHANGELOG`