https://pypi.org/project/adafruit-circuitpython-typing/