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