A non-trait-based `Monoid` implementation is used by `juvix-quickcheck`. This should be replaced with a trait-based `Monoid` from the standard library.