You pay the price of getting the bugs and edge cases out regardless of whether you have compile time assurances.

The complexity is inherent and you can either choose to make it implicit and play the losing game of ensuring it doesn't fail with tests or make it explicit from the outset.