enhanced for monad tests