4 ms·s/Prolog/Monoid/by nandemo 13y agos/Prolog/Monoid/tel 13y agoI meant the Prolog-like inference where MonadWriter w m implies Monoid w.nandemo 13y agoI see. That was a bit obscure, though.tel 13y agoAh, sorry, I was accidentally writing in the context of another comment I wrote in this thread where I talked about the typeclass resolution machinery. Without that context, it is pretty out of place.