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

[@CorwinH]

В данном случае аналогия с "обёрткой" немного вводит в заблуждение.

Можно вместо аналогии "обёртка" использовать аналогию "эффект" (вычисления с эффектом). Эффект для Option<T> - результат вычислений может отсутствовать. Эффект для List<T> - вычисления могут иметь ноль или несколько результатов.

[@markshevchenko]

Да, согласен. Но здесь у меня перевод, я стараюсь не сильно отходить от оригинального текста. Там у Скотта wrapper type.