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)