A.E

Documentation

type M = State Int

nN :: Text -> a -> M (Nm a)

eta :: E T -> StateT Int Identity (E T)