The node you are looking for is at Type class constraints on instance declarations.