Love the terseness of Haskell but still struggle with some of the higher kinded types as it has a high connotative load to mentally process.
You might want to edit some of the code sections as there are too many line breaks between each line but good so far :)
It can be hard because of how different Haskell is from many of the popular languages of the day. Once you start to understand the functional paradigm and the general pattern of Haskell the more idiosyncratic features like higher kind types start to make a bit more sense.