> moving more work to the type system

Sounds right up my alley. Thanks to you (and other siblings) for the thoughtful replies.