rec.ml

class type foo =
object
  method bar : bazt
end and bazt =
object
  inherit foo
end;;

class baz =
object (self : #foo)
  method bar = (self :> baz)
end;;