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