AmbiguousParseForLHS.agda:12,1-35
Don't know how to parse bad (if x then if x then x else x). Could
mean any one of:
  bad (if x then (if x then x else x))
  bad (if x then (if x then x) else x)
Operators used in the grammar:
  if_then      (prefix operator, level 0) [if_then_ (AmbiguousParseForLHS.agda:8,3-11)]     
  if_then_else (prefix operator, level 0) [if_then_else_ (AmbiguousParseForLHS.agda:7,3-16)]
when scope checking the left-hand side
bad (if x then if x then x else x) in the definition of bad
