ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/T6018Afail.hs
{-# LANGUAGE TypeFamilies #-}
module T6018Afail where
type family G a b c = (result :: *) | result -> a b c
type instance G Int Char Bool = Bool
type instance G Char Bool Int = Int
{-# LANGUAGE TypeFamilies #-}
module T6018Afail where
type family G a b c = (result :: *) | result -> a b c
type instance G Int Char Bool = Bool
type instance G Char Bool Int = Int