Perhaps, we could reuse the one used in [emilyriehl/yoneda](https://github.com/emilyriehl/yoneda) (see also https://rzk-lang.github.io/sHoTT/STYLEGUIDE/): https://github.com/emilyriehl/yoneda/blob/master/STYLEGUIDE.md
Perhaps, we could reuse the one used in emilyriehl/yoneda (see also https://rzk-lang.github.io/sHoTT/STYLEGUIDE/): https://github.com/emilyriehl/yoneda/blob/master/STYLEGUIDE.md