Revision history for proxy-mapping

0.1.0.0 -- 2017-12-03

• First version
• Successor and predecessor of Proxy Nat
• Head and tail of Proxy (x ': xs)
• Application of Proxy (a -> b) to Proxy a
• Type parameter accessors for types with up to 16 parameters

0.1.0.1 -- 2017-12-04

• Fix typo in first example