File java-non-covariance-example.fmsl, line 14, char 3: Incompatible types in set expression.