Or make up some pseudo-code-y language. I.e. this is how it could look like in Java, if it included this awesome feature with some syntax I just made up for it.

(I like Python more in general, but I am not sure, if you can demonstrate some of the static goodness of Haskell-analogies in it. Polymorphism on return types is awesome, but not real imaginable in Python, but barely imaginable in Java.)