I just discovered the Haskell refinement types library and my life has been changed forever, I've always known I needed something like this but never knew it existed. http://nikita-volkov.github.io/refined/
A similar library exists for Scala too:
https://github.com/fthomas/refined/

Now we can finally safely assume a function is only working on positive integers or a valid formatted string! Type safety is awesome.