MappingPackage2(A, C)¶

const c is a function which produces c when applied to its argument.
constant(f) is the function g such that g a= f ().
curry(f, a) is the function g such that g ()= f a.
diag(f) is the function g such that g a = f(a, a).