Data.Monoid.Instances.Measured

Measured a is a wrapper around the FactorialMonoid a that memoizes the monoid's length so it becomes a constant-time operation. The parameter is restricted to the StableFactorial class, which guarantees that length (a <> b) == length a + length b.

Create a new Measured value.