"AST of input and AST of formatted code differ" for block expressions applied to other expressions

[neongreen]

main = 
  do
    x
    y
   z

main =
  do
    x
    y
    z

AST of input and AST of formatted code differ.
  at <input>:(2,3)-(5,4)

[neongreen]

Same story:

main = 
  case foo of
    x -> a
   foo a b

main =
  case foo of
    x -> a
    foo
    a
    b

Parsing of formatted code failed:
  <input><rendered>:5:5
  parse error (possibly incorrect indentation or mismatched brackets)

[neongreen]

And:

main = do
  if x then y else z
 foo a b

main =
  do
    if x then y else z
    foo
    a
    b

AST of input and AST of formatted code differ.
  at <input>:(1,8)-(3,8)

[mrkkrp]

Do you have an opinion regarding the fix? Should the arguments be aligned like this:

main =
  do
    x
    y
  z

main =
  case foo of
    x -> a
  foo a b

main =
  do
    if x then y else z
  foo a b

?

[mrkkrp]

Removing indentation bump in this particular case seems to solve the problem. I do not understand why foo a b gets reformated into a multi-line application though. I think it should stay on single line.