Something like ``` @pattern f(x for x >= 0) = ... ``` but parsable as well as readable.
Something like
but parsable as well as readable.