[anon-3988]

I have a theory that what people actually want is something ala named exceptions + forced try catch with pattern matching + automaitally derived return Type.