Math.Combinat.TypeLevel

Proxy

data Proxy t

proxyUndef

proxyOf

proxyOf1

proxyOf2

asProxyTypeOf

asProxyTypeOf1

Type-level naturals as type arguments

typeArg

iTypeArg

Hiding the type parameter

data Some f

withSome

withSomeM

selectSome

selectSomeM

withSelected

withSelectedM