is there not a BuiltinList.of?