[Haskell-cafe] Haskell spec vs FlexibleInstances

What potential evil motivates the prohibition of repeated type parameters in an instance declaration? (Restriction removed by FlexibleInstances) Doug McIlroy