let rec multl = function
  | [] -> Pos
  | [c] -> c
  | [c; d] -> mult c d
  | c :: cl -> mult c (multl cl)