Data.Tagged

Tagged values

data Tagged s b

Proxy values

data Proxy p

Conversion