I think I'd integrate it into the type system, put...

# announcements

[fellshard]

I think I'd integrate it into the type system, put it on par with the return type so that you explicitly handle all cases equivalently