# 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