A type-safe, purely functional effect system for F#.