packages feed

singletons-base-3.5: tests/compile-and-dump/Singletons/T402.golden

Singletons/T402.hs:0:0:: Splicing declarations
    singletons [d| type AnyOfKind (k :: Type) = Any :: k |]
  ======>
    type AnyOfKind (k :: Type) = Any :: k
    data AnyOfKindSym0 :: (~>) Type k0123456789876543210
      where
        AnyOfKindSym0KindInference :: SameKind (Apply AnyOfKindSym0 arg) (AnyOfKindSym1 arg) =>
                                      AnyOfKindSym0 k0123456789876543210
    type instance Apply @Type @k0123456789876543210 AnyOfKindSym0 k0123456789876543210 = AnyOfKind k0123456789876543210
    instance SuppressUnusedWarnings AnyOfKindSym0 where
      suppressUnusedWarnings = snd ((,) AnyOfKindSym0KindInference ())
    type family AnyOfKindSym1 (k0123456789876543210 :: Type) :: k0123456789876543210 where
      AnyOfKindSym1 k0123456789876543210 = AnyOfKind k0123456789876543210