New utilities for assertions in monads.