Simple type checking library