[scotth]

I'd argue this abstraction isn't any higher-level than the function equivalent above. More readable, maybe.

[the8472]

explicit annotations following a specific syntax can be analyzed by a checker.

you can't really do that (easily) with ad-hoc typecheck wrappers.