Beyond the Limits of my GHC Knowledge
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.)
![](https://kbin.cafe/media/cache/resolve/entry_thumb/4f/e1/4fe14d7b37a463cabfc397763a3a067644b49e959c88e265d0f551c8d0810804.jpg)
Add comment