Monadic transformation tested