freerとhefty

data Freer t a = Pure a | forall x . t x :>>= (x -> Freer t a)

data Hefty h a = HPure a | forall x . h (Hefty h) x :>>== (x -> Hefty h a)