-
Hans-Peter Deifel authored
Those functors really require the inverse operation to perform as required. A separate functor for monoids that aren't groups is feasable, but would not satisfy the runtime complexity requirements.
225253ef
Those functors really require the inverse operation to perform as required. A separate functor for monoids that aren't groups is feasable, but would not satisfy the runtime complexity requirements.