Playing around with Free monads