NoParseForLHS.agda:12,1-12
Could not parse the left-hand side wrong (! x)
Operators used in the grammar:
  ! (postfix operator, level 20) [_! (NoParseForLHS.agda:4,3-5)]
when scope checking the left-hand side wrong (! x) in the
definition of wrong
