Singletons/T226.hs:0:0:: Splicing declarations
    singletons [d| class a ~> b |]
  ======>
    class (~>) a b
    class (#~>) a b
    class (%~>) a b