$use Apply Arithm StdIO;


$func Map s.Fname e.Fargs (e.list) = e.new-list;

Map s.Fname e.Fargs (e.list) =
  () e.list $iter {
    e.list : t.item e.rest =
      (e.new-list <Apply s.Fname e.Fargs t.item>) e.rest;
  } :: (e.new-list) e.list,
  e.list : /*empty*/ =
  e.new-list;


$func Div? s.n s.k = e.maybe-k;

Div? s.n s.k, {
  <Rem s.k s.n> : 0 = s.k;;
};


Main = <WriteLN <Map &Div? 3 (1 2 3 4 5 6 7 8 9 10)>>;