F# Inferno
