class A f = + 1 (\obj -> obj.f 1) (new A) class B g f = f 1 (new B).g (+ 1)