An alternative to for-comprehensions for succinctly specifying monadic computations