F# forward type declarations September 20, 2023 by Tarik You use ‘and’: type firstType = | T1 of secondType and secondType = | T1 of firstType