Compose

(.)   :: (b -> c)   -> (a -> b)   -> (a -> c)
(>=>) :: (a -> m b) -> (b -> m c) -> (a -> m c)

Apply

fmap :: (a -> b)   -> f a        -> f b
ap   :: f (a -> b) -> f a        -> f b
bind :: m a        -> (a -> m b) -> m b