This intention eliminates the argument of a when expression transforming its pattern-matching conditions into boolean expressions.