Control.Monad.Free.Church