TYPE SIGNATURES
  DataFamilyInstanceLHS.A :: MyKind
  DataFamilyInstanceLHS.B :: MyKind
  DataFamilyInstanceLHS.SingA ::
    forall (_ :: MyKind).
    (_ ~ 'A) =>
    DataFamilyInstanceLHS.R:SingMyKind_ _
  DataFamilyInstanceLHS.SingB ::
    forall (_ :: MyKind).
    (_ ~ 'B) =>
    DataFamilyInstanceLHS.R:SingMyKind_ _
  foo :: Sing 'A
TYPE CONSTRUCTORS
  data MyKind = A | B
  data family Sing (a :: k)
COERCION AXIOMS
  axiom DataFamilyInstanceLHS.D:R:SingMyKind_0 ::
    Sing _ = DataFamilyInstanceLHS.R:SingMyKind_
      -- Defined at DataFamilyInstanceLHS.hs:8:15
FAMILY INSTANCES
  data instance Sing
Dependent modules: []
Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
                     integer-gmp-1.0.2.0]