If `bind` is `(>>=) :: m a -> (a -> m b) -> m b`, what is the spelled-out name for `flip bind` aka `(=<<) :: (a -> m b) -> m a -> m b`?
It looks just like fmap. Can we say that `flip bind` is the fmap implementation for monads?
#haskell #helpwanted
