Add a test to ensure the code in the README actually typechecks

Of course it currently doesn't so this test fails.

Signed-off-by: David Scott <dave.scott@citrix.com>