1.2 (2014-02) ------------- GHC 7.8.1 compatibility fix. * Remove an overlapping `Add n Z` instance. I don't expect this to break any existing code but am updating the major version number just in case. 1.1 (2013-07) --------------- * Typeable NumTypes. 1.0 (2012-01) ------------- See the [announcement][1]. [1]: http://flygdynamikern.blogspot.se/2012/01/type-level-integers-with-type-families.html