Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018Bfail.hs
1 {-# LANGUAGE TypeFamilyDependencies #-}
2
3 module T6018Bfail where
4
5 type family H a b c = (result :: *) | result -> a b c