this post was submitted on 04 Oct 2023
6 points (100.0% liked)

Haskell

5 readers
1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 2 years ago
6
Beyond the Limits of my GHC Knowledge (recurse.social)
submitted 2 years ago by bss03 to c/haskell@kbin.social
0 comments fedilink hide all child comments
 

With UndecidableInstances, the answer is a resounding yes, with a fairly direct implementation. Without it, I keep getting stuck, though I'm not as comfortable with type families as some.

(I'm not OP on Masto, but I am interested in the answer.)

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here