Foundation.Primitive

class PrimType ty

class PrimMonad m