NoParseForLHS.err

NoParseForLHS.agda:12,1-12
Could not parse the left-hand side wrong (! x)
when scope checking the left-hand side wrong (! x) in the
definition of wrong