monadic map operator

any objections if we include the map operator as well?