This is true for interaction between pure functional code and the "outside world". It forces you to state all out assumptions about said interaction up front an

This is true for interaction between pure functional code and the "outside world". It forces you to state all out assumptions about said interaction up front and often deal explicitly with all possible errors that may arise from your assumptions failing. Once that is done you can stay mostly in "pure land", which is quite a blissful experience.