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