Simple typechecking goes a long way