Hey everybody! I was learning about type-level programming and then wrote a blog post (actually, two) about it. I started writing it mostly for myself for the future reference but thought maybe somebody else also might find it helpful. It is more aimed for the beginners, let's say somebody who went through LYAH.
I also had a few things I was unsure about so I marked them as TODOs. Thanks for reading, appreciate all the comments!