Sandy Maguire
Sandy Maguire
I think it would be challenging to argue that `insert` could possibly be anything other than `insert e m = singleton e m` or `insert e m = m singleton...
I'd like to strongly weigh-in against this; when you start considering freer monads as "implementation mixins", you generally do want a significant number of the same effect. I've used an...
Yeah, monomorphic reads/writes. I will admit that numbers (and `MonadIO` sends) are where the primary pain points are. It's usually enough to slap down a type application in a infrequently...
The problem with that is that you often want to interpret `Reader x` differently than `Reader y`. A reader effect isn't simply an alias for `(->) x`--- it also could...
Great minds. Thanks for the lead---I'll take a look when I get a chance!
Does this work? I'd expect the fundeps on `MonadState` to get in the way.
The originally given instance works with `UndecidableInstances`, and complains about the fundep without. @ocharles' fails the fundep coverage, even with `UndecidableInstances`
I can reproduce this using `spotifile 0.1.7-2` from AUR.
I came up with a surprisingly nice workaround here: ```haskell data Discovery f = Discovery { d_docId :: Column f DocId } deriving stock Generic deriving anyclass Rel8able data Discovery'...
I'm happy to add my own keys!