module Ref where

type Byte = Addr#
type Weak = Weak#
type Stable = StablePtr#
type Boxed = MutVar#
type STM = TVar#
type Lock = MVar#