T15518.hs:(5,3)-(8,6): Splicing declarations
    [d| f :: Bool -> ()
        f = \case
              True -> ()
              False -> () |]
  ======>
    f :: Bool -> ()
    f = \case
          True -> ()
          False -> ()