Invalid constraint: the type used for the constraint is sealed, which means the constraint could only be satisfied by at ...