Some experiments with play-monad