Argument b ---> Argument a in type signatures with only one type variable