The characters ,[]` should not be treated as "special" in Agda.