Правило ассоциативности монад в haskell

(m >> = f) >> = g = m >> = (\ x -> fx >> = g)

чем отличается от f и \ x-> fx ??

Я думаю, что они одного типа a -> mb . но кажется, что второй >> = в правой части уравнения трактует тип \ x-> f x как m b . что не так?