Data.TypeRep.VarArg

Working with polyvariadic functions

data Res a

type family ToRes a

type family FromRes a

data Arity a

class VarArg t

arity

fromResInv

type NonFunction a

nonFunction

N-ary monadic functions

type family FunM m a

liftMonadic

runMonadic

compMonadic

type family FunM2 m a

liftMonadic2