Invalid type definition for type '%1!s!'. The base and derived types must have the same value for 'mixed' unless deriving ...