Introduce Mu and Free monad catamorphism