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