Hi, I need to use a number (a Rational ) as the log type of a Writer Monad. Unfortunately , number are not Monoid. Is there a module (or something) instantiating Numbers as Monoid, or should I do it myself ?
(I just want to know if it exists already somewhere to not reinvent the wheel, I don't need help to do it myself if needed)