Flesh out Test1.
I'm impressed that this typechecks, although I don't how this would interact with inheritance...
First cut of annotation-based Redis example (without type-checking, obviously :).