Control.Monad.TypedId

class MonadTypedId m