data MRef m a

class HasMRef m

class NewMRef sr m a

class TakeMRef sr m a

class PutMRef sr m a