Experimenting with Free monads for channels