[visarga]

Types aren't just for programming and philosophy. Strongly Typed Neural Networks are also a thing. https://arxiv.org/abs/1602.02218