About the typesystem category

Discussion related to the https://github.com/encode/typesystem/ project.