../../../../../Prelude/List/map Natural Bool Natural/even ([] : List Natural)