linter.fugue.noConfusion

Option.noConfusion (and friends) need their implicit arguments to line up, and fail with an application-type-mismatch when they do not. contradiction does the same job without the bookkeeping.