Data.Primitive.Types
class Prim a
data Addr