Не, оно линейно и просто, если монада простая. Уже для списков это не совсем так.
И работает оно, если методы монадические правильно реализованы. А там в F#, кроме Bind и Return еще и опциональных всяких методов много (For,TryFinally,Using,While итд), плюс метод Delay для выстраивания побочных эффектов в правильном порядке, в общем, полный абзац.