Control.Monad.Primitive
class PrimMonad m