Curried Chains

[j-mie6]

Is your feature request related to a problem? Please describe. Chain combinators more often than might be expected require type ascriptions when used with regular lambdas. This is because there is no first bracket to fix the type of the chain.

Describe the solution you'd like Use chain.x1(p)(op) instead of chain.x1(p, op), which will allow better inference on the op. Problem is, however, that the inference for infix.x1 will still not be great because of the B parameter.