Open sjakobi opened 3 years ago
For stimes
, we can probably simply use stimesIdempotentMonoid
.
Since the performance implications of using unions
to define mconcat
are unclear due to #139, I've removed the low-hanging-fruit
label.
Apologies for not realizing the connection to #139 earlier! :/
So far our
Semigroup
andMonoid
instances define only(<>)
andmempty
. Explicit definitions ofstimes
,sconcat
andmconcat
might be able to improve on the defaults.