AmbiguousParseForApplication.agda:12,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
Operators used in the grammar:
  if_then      (prefix operator, level 0) [if_then_ (AmbiguousParseForApplication.agda:9,3-11)]     
  if_then_else (prefix operator, level 0) [if_then_else_ (AmbiguousParseForApplication.agda:8,3-16)]
when scope checking if x then if x then x else x
