singletons-2.7: tests/compile-and-dump/Singletons/PolyKindsApp.golden

Singletons/PolyKindsApp.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| class Cls (a :: k -> Type) where
            fff :: (a :: k -> Type) (b :: k) |]
  ======>
    class Cls (a :: k -> Type) where
      fff :: (a :: k -> Type) (b :: k)
    type FffSym0 = Fff :: (a :: k -> Type) (b :: k)
    class PCls (a :: k -> Type) where
      type Fff :: (a :: k -> Type) (b :: k)
    class SCls (a :: k -> Type) where
      sFff ::
        forall (b :: k). Sing (FffSym0 :: (a :: k -> Type) (b :: k))