Stephen Paul KIng been fascinated by the nature of concepts for a long time.
There are these weird arbitrary things that are so significant at the same time
In the end it seems you have to choose more than one type and have them interact to get anything done
I had wanted a result that involved building from singular parts, and you can, but types will end up being introduced at some point because it increases the reliability of the system
A type of system can do anything and that’s not always what’s desired but is sometimes.