add types-and-typeclasses.hs