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