We should be able to represent associative, unital binary operators with operators that take a variable number of arguments. There should be seamless conversion between this and binary presentations, and also support in models for:
implementing n-ary versions of the operation directly
using the binary case to implement the n-ary case via a fold.
We should be able to represent associative, unital binary operators with operators that take a variable number of arguments. There should be seamless conversion between this and binary presentations, and also support in models for: