Yes, this looks like nice syntax sugar to me. And I gather that the recent (to me, anyway) lambda-case and lambda-if have abated the incromulence:

https://ghc.haskell.org/trac/ghc/ticket/4359

Quote: "The motivating examples seem to be of the form

getArgs >>= case of
            [] -> error "No args"
            fs -> doit fs
"

So

do ...
    case <- generateResult of
      Nothing -> ...
      Just r -> ...

becomes

do
    generateResult >>= \case
      Nothing -> ...
      Just r -> ...

Nevertheless, upward and onward to an even finer imperative language!