なぜ、このプログラムは型エラーになりますか？ # class c = object (self) method f = (new d)#f self end and d = object method f : c -> unit = fun x -> () end;; This expression has type < f : 'a; .. > but is here used with type 'b Self type ca…