Test code 'A very simple free monad'