Control.Monad.Free.Reflectable

data FreeMonadView f a

data FreeMonad f a

fromView

toView