F# analysis for TODD