T17608.hs:(4,2)-(20,7): Splicing declarations
    [d| infixl 4 `n`
        infixl 4 `f`
        
        f :: Bool
        f = let
              infixl 4 `h`
              h :: () -> Bool -> Bool
              h _ _ = True
            in h () (g () ())
          where
              infixl 4 `g`
              g :: () -> () -> Bool
              g _ _ = True
        
        class C a where
          infixl 4 `m`
          m :: a -> a -> a
          n :: a -> a -> a |]
  ======>
    infixl 4 `f`
    f :: Bool
    f = let
          infixl 4 `h`
          h :: () -> Bool -> Bool
          h _ _ = True
        in (h ()) ((g ()) ())
      where
          infixl 4 `g`
          g :: () -> () -> Bool
          g _ _ = True
    infixl 4 `n`
    class C a where
      infixl 4 `m`
      m :: a -> a -> a
      n :: a -> a -> a