Issue1436-8.agda:15,7-14
Don't know how to parse ! X , X. Could mean any one of:
  ! (F λ X → X)
  ! (G λ X → X)
Operators used in the grammar:
  !  (prefix operator, level 1)  [!_ (Issue1436-8.agda:3,3-5)]
  _, (prefix notation, level 20) [F (Issue1436-8.agda:2,3-4)] 
  ,_ (postfix notation, level 2) [G (Issue1436-8.agda:2,5-6)] 
when scope checking ! X , X
