static int _Length(RList <T> xs) { if (xs is Zero) { return(RList <Pair <T> > ._Length(((Zero)xs).arg)); } else { return(0); } }