Type Alias Magma<T>

2-term operation with no constraints, but must be closed under T.

type Magma<T> = {
combine: (l: T, r: T) => T;
}