Test code 'The Eff monad'