module Monad =
    type IO<'a> = IO of 'a

    type IOBuilder () =
        member this.Bind (IO x, f) : IO<_>  = f x
        member this.Delay f                 = f ()
        member this.Return x                = IO x

    let io = IOBuilder ()