The Monaspace type system is a monospaced type superfamily with some modern tricks up its sleeve.

https://github.com/githubnext/monaspace