Unlifted API

[treeowl]

I'm thinking we might want an additional API for unlifted types that aren't viewed as unboxed versions of boxed types. This would have functions like

newMutVar :: forall m (a :: UnliftedType) PrimMonad m => a -> m (MutVar (PrimState m) a)
readMutVar :: forall m (a :: UnliftedType) PrimMonad m => MutVar (PrimState m) a -> m (Box a)
writeMutVar :: forall m (a :: UnliftedType) PrimMonad m => MutVar (PrimState m) a -> a -> m ()

[andrewthad]

Oh, this is nice. I like the Box trick to make readMutVar work.

[treeowl]

What should the modules be called?

[treeowl]

And how should the functions be named?