Add type signature to equalTo (NoMonom...)