| ERROR | invalid substitution group affiliation between ~S and ~S |
| CAUSE | There was an error in that {substitution group exclusions} prevented substitution group affiliation by type restriction or type extension. |
| ACTION | Remove the offending deriving method from the {substitution group exclusions} list. |