Remove pointless partiality in `Parser.ajs`