typeclasses.hs updates