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