Почему `let fmap f = id >=> (Ok << f)` работает?

На вопрос Как реализовать карту с использованием оператора рыбы (>=>, композиция Клейсли) в F#? пару часов назад, и ответ Кефера поразил меня:

let fmap f = id >=> (Ok << f)

Он идеален в своей простоте, но когда я смотрю на сигнатуры типов, он не должен работать. Я занимаюсь этим уже почти час, поэтому, вероятно, упускаю что-то фундаментальное, как F# оценивает выражения...

Для справки, это реализации bind, switch и >=>:

let bind
    (     f : 'a -> Result<'b,'c>)
    (result :       Result<'a,'c>)
    =
    match result with 
    |    Ok o -> f o
    | Error e -> Error e

let (>=>)
    (f : 'a -> Result<'b,'error>)
    (g : 'b -> Result<'c,'error>)
    =
    f >> (bind g)

Моя следующая попытка заключалась в использовании альтернативной реализации для >=>:

let (>=>>)
    (f : 'a -> Result<'b,'error>)
    (g : 'b -> Result<'c,'error>)
    x
    =
    match (f x) with
    |    Ok o -> g o
    | Error e -> Error e

Вот тестовый вызов dotnet fsi:

(id >=>> (Ok << ((+) 2) : int -> Result<int,string>))
((Ok 27) : Result<int,string>)
//=> Ok 29

Я уже застрял в вопросе, почему >=>> не взрывается id в качестве первого аргумента?

Я думаю, что вот так происходит оценка, но, видимо, это не так:

id >=>> switch ((+) 2)
          |
          V
(>=>>) id (switch ((+) 2))
          |
          V
    match (id x) with
    |    Ok o -> (Ok << ((+) 2)) o
    | Error e -> Error e

На заметку будущему себе:

(>=>>)                           (>=>>)
  (f : 'a -> Result<'b,'error>)    id
  (g : 'b -> Result<'c,'error>)    (Ok << ((+) 2) : int -> Result<int,string>))
  x                                ((Ok 27) : Result<int,string>)

(... и обязательно преобразуйте бесточечную функцию, если поначалу это не имеет смысла.)