Data.Category.CartesianClosed

class CartesianClosed k

data ExpFunctor k

type PShExponential k y z

pshExponential

curryAdj

curry

uncurry

type State k s a

stateMonadReturn

stateMonadJoin

type Context k s a

contextComonadExtract

contextComonadDuplicate