Messing with Free Monads