Data.Proxy

Tagged values

data Proxy p

Conversion