Write "Type Class Basics in Haskell and Scala"