AH
Так. Кто мне расскажет почему это валидный код и компилятор не орет что я мудак?
type Foo(a: int) =
do printfn "%d" a
type Bar() as self =
inherit Foo(self.A)
member val A = 10 with get, set
Bar() |> ignore
