[project @ 2000-07-14 16:43:20 by simonpj]

Add mutually recursive kind inference test

ghc/tests/typecheck/should_compile/tc106.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Mutually recursive kind inference
+
+module ShouldCompile where
+
+class Lookup c k a where
+    lookupAll :: Sequence seq a => c -> k -> seq a
+
+class Lookup (s a) Int a => Sequence s a where
+    foo :: s a
+