In our previous posts we explored how to work with categories and functors in Idris, providing…
Trying to solve the same problems using the same tools over and over again and expecting to…