add hoistF to Control.Monad.Free.Church