(Un)ordinary type-fu in Haskell
I'm progressing with my learning of Haskell. After grasping basic concepts time has come to face more challenging stuff.
There are several "patterns" on the intermediate level and all make heavy use of types. The tennets are to reduce typing and making more generalized abstractions. They come at cost of upfront learning time and are hard to grasp really.
This time I tackled 2 topics: structural pattern and then generics. I managed to combine these two in one post, so I will share it today.