Control.Memory.Region

type GlobalRegion

data Void

type G

type V

type family a <= b :: Constraint