making tests less monadic