A type variable has been constrained by multiple different class types. A type variable may only have one class constraint. ...