Ivory.Language.Proxy

data Proxy a

type SProxy a

type ANat n

type NatType n

aNat

type ASymbol s

type SymbolType s

aSymbol

fromTypeSym

fromTypeNat