K
Lib.K : 'a -> 'b -> 'a
Forms a constant function: K x y = x.
K x y
x
Never fails.
Lib.##, Lib.C, Lib.I, Lib.S, Lib.W
Lib.##
Lib.C
Lib.I
Lib.S
Lib.W