Type-safe mathematical vectors

blog.sensitivecircuit.com