ghc-exactprint-0.5.3.1: tests/examples/ghc80/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