@robryk I thought that just like in any programming language, a couple base types and you can define more wherever. Preferably dependent types, these are always cool.

Disclaimer: I have no idea why any of this would be useful, especially dependent types.