Pattern synonym expansion could then produce a single term with constructor names being the union of the constructors from the overloaded ...
確定! 回上一頁