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