packages feed

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