@@ -14,8 +14,8 @@ When elaborating an application of function Prelude.Monad.>>=:
14 a terminator, expected: "$",
14 a terminator, expected: "$",
15 "$>", "&&", "*", "+", "++", "-",
15 "$>", "&&", "*", "+", "++", "-",
16 "->", ".", "/", "/=", "::", ";",
16 "->", ".", "/", "/=", "::", ";",
17− "<", "<#>", "<$", "<*>", "<*>",
17+ "<", "<#>", "<$", "<*>", "<+>",
18− "<+>", "<->", "<<", "<=", "<|>",
18+ "<->", "<.>", "<<", "<=", "<|>",
19 "=", "==", ">", ">=", ">>",
19 "=", "==", ">", ">=", ">>",
20 ">>=", "\\\\", "`", "in", "||",
20 ">>=", "\\\\", "`", "in", "||",