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