Haskell dependent types the ugly and brute force way
Why do you think that https://github.com/mstksg/decidable is a good alternative to instance-map
Haskell dependent types the ugly and brute force way
Why do you think that https://github.com/mstksg/decidable is a good alternative to instance-map