singletons-2.6: tests/compile-and-dump/Singletons/T226.ghc88.template
Singletons/T226.hs:0:0:: Splicing declarations
singletons [d| class a ~> b |]
======>
class (~>) a b
class (#~>) (a :: GHC.Types.Type) (b :: GHC.Types.Type)
class (%~>) a b