[Haskell-cafe] Haskell spec vs FlexibleInstances