implementation module StdListExtensions