Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T8391.hs
1 {-# LANGUAGE FunctionalDependencies, FlexibleInstances,
2 TypeFamilies,
3 PolyKinds #-}
4
5 module T8391 where
6
7 type Foo a = a
8
9 class Bar a b | a -> b
10
11 instance Bar a (Foo a)