static L<DoublePt> toDoublePts(L<Pt> l) {
  ret map toDoublePt(l);
}