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