| ERROR | disallowed type substitution between ~S and ~S |
| CAUSE | There was a substituted type whose deriving method falls in the union of the {disallowed substitutions} and the {type definition}s {prohibited substitutions}. |
| ACTION | Remove the offending deriving method from the elements {disallowed substitutions} list or the {type definition}s {prohibited substitutions} list. |