Шо вам щас щас не хватает, тюрьмы рукописных пайпов? С монадами как таковыми проблем в F# нет, есть проблема людей, считающих будто бы они умеют писать библиотеки, а на самом деле неспособными писать даже элементарный код и не остаться безногими.
Лично мне не хватает только асинков, переписанных на стейт машины, and!, в редких случаях, возможно srtp withness for extended types. Все остальное меня устраивает