I have two goals in mind:
To have a slightly better intuition with Haskell base typeclasses.