TYPE SIGNATURES
  foo :: F Int Char -> Int
TYPE CONSTRUCTORS
  type family F{2} :: * -> * -> *
    roles nominal nominal
COERCION AXIOMS
  axiom TypeFamilyInstanceLHS.D:R:FBool_1 :: F Bool _1 = Bool
  axiom TypeFamilyInstanceLHS.D:R:FInt_1 :: F Int _1 = Int
FAMILY INSTANCES
  type instance F Int _ = Int
                  -- Defined at TypeFamilyInstanceLHS.hs:7:15
  type instance F Bool _ = Bool
                  -- Defined at TypeFamilyInstanceLHS.hs:8:15
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                     integer-gmp-1.0.2.0]