typelevel-1.2.3: Useful type level operations (type families and related operators).
Data.Proxify
type family Deproxy p where ... Source #
Equations
type family Proxified a where ... Source #
proxify :: a -> Proxy (Proxified a) Source #
module Data.Proxy