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....
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....