fork(3) download

let uncurry f (x, y) = f x y
let k x y = x
let k' x y = y
 
let fst = uncurry k
let snd = uncurry k'

/home/Cyre4v/prog.fs(5,5): error FS0030: Value restriction. The value 'fst' has been inferred to have generic type
    val fst : ('_a * '_b -> '_a)    
Either make the arguments to 'fst' explicit or, if you do not intend for it to be generic, add a type annotation.

/home/Cyre4v/prog.fs(6,5): error FS0030: Value restriction. The value 'snd' has been inferred to have generic type
    val snd : ('_a * '_b -> '_b)    
Either make the arguments to 'snd' explicit or, if you do not intend for it to be generic, add a type annotation.

Standard output is empty