TYPE SIGNATURES
TYPE CONSTRUCTORS
  type family F a :: *
    where
        F _t = Int
      axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F
COERCION AXIOMS
  axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F ::
    F _t = Int
      -- Defined at NamedWildcardInTypeFamilyInstanceLHS.hs:5:3
Dependent modules: []
Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
                     integer-gmp-1.0.1.0]