Had incorrect type variables