Generics.MultiRec.ShallowEq

class SEq phi f