Previously, the instance required that both the MonadWriter and AccumT had the same type w as their accumulated value, even though in theory, they could be different. This was prompted by #120.
I don't have (easy) access to GHC 9.4. @Bodigrim - do you still get the redundant constraint warning? @emilypi - we should merge this in any case, as the original instance is definitely not what we intended.
Previously, the instance required that both the
MonadWriter
andAccumT
had the same typew
as their accumulated value, even though in theory, they could be different. This was prompted by #120.I don't have (easy) access to GHC 9.4. @Bodigrim - do you still get the redundant constraint warning? @emilypi - we should merge this in any case, as the original instance is definitely not what we intended.