I'm spinning off the Control.Monad.Trans.Free module from pipes into its own package: transformers-free. Some people requested this because they wanted to experiment with the FreeT type in their own code without making pipes a full-blown dependency. Recently I've evangelized the use of free monads for building abstract syntax trees that let you abstract away the interpreter. This lets you seamless