I have a mutual recursion problem in f-sharp

Question

I have the following types in F#:

type Name = string;;
type Sex = 
    | M // male
    | F // female
type YearOfBirth = int;;
type FamilyTree = P of Name * Se