maybe something we don't need to solve now, but having to re-implement Less/Len for every single 'list' type just seems like a waste of time and code/copy paste.