SimplMonad
data SimplM result
class MonadUnique m
data SimplCount
data Tick