refreshing on haskell typeclasses