Changes for the new purescript-parsing