https://recurse.social/@redmp/111172276002971536
Can you implement multiplication on peano numbers in a #haskell type family without #UndecidableInstances?
@bss03