removed TypeEquality