public static Named <int, Length <Xs> > Len <Xs>(Named <List <int>, Xs> xs) { return(Named <int, Length <Xs> > .Defn(xs.GetVal().Count, new Length <Xs>())); }