|Portability||generalized newtype deriving|
|Maintainer||Edward Kmett <email@example.com>|
Some times you need to change the proxy you have lying around.
Idiomatic usage is to make a new combinator for the relationship
between the proxies that you want to enforce, and define that
data Succ n reproxySucc :: Proxy n -> Proxy (Succ n) reproxySucc = reproxy