Add foldFree?

[Gabriella439]

Would you be okay with adding this function?

foldFree :: (Functor m, Monad m) => (forall x . f x -> m x) -> Free f a -> m a
foldFree nat = retract . hoistFree nat

As you already know, this is basically one of the isomorphisms in the adjunction that defines the free monad. You have iterM, which is pretty close, but sometimes I find myself reaching for the above signature.

[ekmett]

Done.

[Gabriella439]

Awesome! Thank you