Similar proposal here: http://www.reddit.com/r/haskell/comments/qy990/suggestion_for_flip_map/It seems generally favorable. Might as well generalize it though and have flip fmap.