<div dir="ltr">Hi Cafe,<div><br></div><div>I'm wondering why Data.Void does not have a Monoid instance, or, what would be the problem if we do "mempty = absurd mempty"?</div><div><br></div><div>Long story: I was using a monad with some transformers, then I realize I can collapse State and Reader into RWST with Void being Writer output.</div><div>(well, I could have just used Unit but I wanna give Void a try...) I know beforehand that Void is Semigroup but is a bit surprise it doesn't have Monoid instance.</div><div><div><br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Javran Cheng<br></div></div></div></div>