I also enjoyed the square dollars example. A type system is merely a tool to encode information to help better model things. If you want to prevent multiplying

I also enjoyed the square dollars example. A type system is merely a tool to encode information to help better model things. If you want to prevent multiplying dollars together, types can help you do that. If you want to enable multiplying dollars together, types can help you do that, too.