T10603.hs:5:17-69: Splicing expression
    [| case Just 'a' of { Just a -> Just ((\ x -> x) a) } |]
  ======>
    case Just 'a' of { Just a -> Just ((\ x -> x) a) }