[lodi]

If anyone is having trouble understanding the raw code linked above, the official book[1] introduces all three of those concepts gently and intuitively. I highly recommend it!

[1] https://www.manning.com/books/type-driven-development-with-i...

[Buttons840]

The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.