gusty

#nowarn "0042"
let inline retype (x: 'T) : 'U = (# "" x: 'U #)

open System
type Curry =

    static member inline Invoke f =
        let inline call_2 (a: ^a, b: ^b) = ((^a or ^b) : (static member Curry: _*_ -> _) b, a)
        call_2 (Unchecked.defaultof<Curry>, Unchecked.defaultof<'t>) (f: 't -> 'r) : 'args