Automatically implementing typeclasses can often be done with just generics http://www.haskell.org/haskellwiki/GHC.Generics