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