testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr

   1 TYPE SIGNATURES
   2   foo :: F Int Char -> Int
   3 TYPE CONSTRUCTORS
   4   type family F a b :: * open
   5 COERCION AXIOMS
   6   axiom TypeFamilyInstanceLHS.TFCo:R:FBool_ :: F Bool _ = Bool
   7   axiom TypeFamilyInstanceLHS.TFCo:R:FInt_ :: F Int _ = Int
   8 FAMILY INSTANCES
   9   type instance F Int _
  10   type instance F Bool _
  11 Dependent modules: []
  12 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
  13                      integer-gmp-1.0.0.0]