Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T12803.hs
1 {-# LANGUAGE FlexibleInstances, FlexibleContexts, UndecidableInstances,
2 TypeFamilies, FunctionalDependencies #-}
3
4 module T10778 where
5
6 type family F a :: *
7 class C a b | a -> b
8
9 instance C p (F q) => C p [q]
10 -- This instance should fail the (liberal) coverage condition