F# requires code to be in dependency order. You can't refer to types unless the compiler has seen them.