The README identifies a few situations in which you might want to use typed,
but nothing currently explains what typed actually is/does.
Please add method docs.
In particular, it seems to me that its purpose in life is to claim to strong mode that it returns whatever
type the call site demands (which of course can only happen if it always returns null... which it does). And the reason we'd want that is basically to tell strong mode to shut up.
It's as if its name really should have been inferTypeFromUsage, although that would be much too long.