Free functor into a Kleisli category

ID: free-functor-into-a-kleisli-category

The free functor is the identity on objects and sends to . A functor carries an algebra for the precomposition monad exactly when it factors through .

New to topics? Read the docs here!