|Portability||generalized newtype deriving|
|Maintainer||Edward Kmett <firstname.lastname@example.org>|
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