Вычислительные выражения: 4. Типы-обёртки

Под типами-обёртками подразумеваются типы, представляющие ядро билдеров, например: 'a option, 'a Аsync, Result<'ok, 'error> и т.д. Их иногда называют M<'a> в честь того самого слова на букву м.

В этой части говорится о связях данных типов с конструкциями let!, return и return!.