Agda-2.3.2.2: test/fail/AmbiguousParseForApplication.err

AmbiguousParseForApplication.agda:10,9-37
Don't know how to parse if x then if x then x else x. Could mean
any one of:
  if x then (if x then x else x)
  if x then (if x then x) else x
when scope checking if x then if x then x else x