Finally getting the hang of Category #typeclass. #haskell