T14875.hs:(5,2)-(14,7): Splicing declarations
    [d| f :: Bool -> Bool
        f x
          = case x of
              (True :: Bool) -> True
              (False :: Bool) -> False
        g :: Bool -> Bool
        g x
          = (case x of
               True -> True
               False -> False) ::
              Bool |]
  ======>
    f :: Bool -> Bool
    f x
      = case x of
          (True :: Bool) -> True
          (False :: Bool) -> False
    g :: Bool -> Bool
    g x
      = (case x of
           True -> True
           False -> False) ::
          Bool