ghc-exactprint-0.5.0.0: tests/examples/ghc8/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