Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018Cfail.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module T6018Cfail where
4
5 import T6018Bfail
6
7 type instance H Int Char Bool = Bool
8 type instance H Char Bool Int = Int