SParser.idr

  term : MRule Expr
  term = pure $ let (x, xs) = !multChain in
                    foldl (Binary Mul) x xs
    where
      multChain : MRule (Expr, List Expr)
      multChain = do x <- factor
                     xs <- (do let op = match (Op Mul)
                               op
                               commit
                               sepBy1 op factor) <|> pure []
                     pure (x, xs)