main Where Let (main args) Let numbers (LIST.fold args [] Func arg numbers. Match (Z.read arg) | `just.n (n :: numbers) | `nothing numbers ;) In (LIST.for_each (SORT.list_insertion Z.compare numbers) Func n. (STDIO.print_line (Z.show n))) Where Let LIST Package "list" Let SORT Package "sort" Let STDIO Package "stdio" Let Z Package "z"