Issue1194h.agda:31,9-12
Don't know how to parse ! b. Could mean any one of:
  c b
  c b
Operators used in the grammar:
  ! (prefix notation, level 19) [c (Issue1194h.agda:10,5-6)]
  ! (prefix notation, level 20) [c (Issue1194h.agda:20,5-6)]
when scope checking ! b
