typec (pypi): typechecking library
Keywords: typing