The atmega32u4 micro-controller board with USB Type-C receptacle, which is compatible with SparkFun Pro Micro - zgtk-guri/c-pro-micro