[Haskell-cafe] automatic instance derivation