base-compat-0.10.5: A compatibility layer for base
Data.Proxy.Compat
asProxyTypeOf :: a -> proxy a -> a #