* Import "map" from prelude as an example