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