let
map t ~f = t >>| f