Type.Base.Proxy

data Proxy a