Data.Container.Hetero

data Ptr i a

data HPtr i m a

class PtrFrom p i

class PtrIdx p i