Control.Monad.Free.VanLaarhoven
data
Free
effect a