The node you are looking for is at
Type class constraints on predicates and functions
.