Add a monadic switch statement ("match").