Documentation

Help resolve ambiguous exception-set metavariables in QualifiedDo.>>=.

Uses defaultingPlugin only (tcPlugin is disabled; the old rewrite/solve path is removed — code that relied on fiat coercions must use defaulting).