F# Tutorial: Type tests via pattern matching