Например код на С#

class A
    {
        B b=new B();
    }
    class B
    {
        A a=new A();
    }

аналог на F# не проходит

type A()=
    let b=new B() (* The type 'B' is not defined *)

type B()=
    let a=new A()

только через Discriminated unions ? Но что делать если надо отнаседоваться от A или B ?