Conal Elliott

A suggestion: let’s chat about the denotational hardware project soon, and we’ll see if the goals and approach are sufficiently compelling to you and your collaborators to want to help—as...

[Zulip link](https://agda.zulipchat.com/#narrow/stream/238741-general/topic/Using.20Irrelevant.20fields).

A reminder to myself to compare with [tries](https://github.com/glguy/tries/blob/master/src/Data/GenericTrie/Internal.hs#L107).

@treeowl When using `GHC.Generics`, do you know the motivation for defining classes like `GHasTrie` instead of simply defining instances of `HasTrie` for the `GHC.Generics` types?

> @conal I saw this dependency was added in 2016, but I'm not sure what the point of it is. Can it be removed? I don't know.

Thanks for the suggestion. Any thoughts on how to define such an instance?

Oh, hm. Perhaps the `EmptyCase` language extension got added after 7.6.3. Sorry about that. It's easy to replace the `\case` line. For instance, ``` haskell untrie VoidTrie = \ _...

@hvr Thanks for the pointers and patching the dependencies. The .cabal now contains ``` if impl(ghc >= 7.10.0) Build-Depends: base >=4.8.0.0 &&

Is there an issue here to be addressed? Or maybe are you mentioning your experience to help others who encounter the same challenge?

Got it. I'll keep the issue open. Thanks for raising these issues!