Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / FDsFromGivens2.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, GADTs #-}
2
3 module FDsFromGivens2 where
4
5 class C a b | a -> b where
6 cop :: a -> b -> ()
7
8 data KCC where
9 KCC :: C Char Char => () -> KCC
10
11 f :: C Char [a] => a -> a
12 f = undefined
13
14 bar :: KCC -> a -> a
15 bar (KCC _) = f