File covariance-of-lists.fmsl, line 12, char 3:
	Incompatible types in set expression.