Read it on Medium.
The Vector Monad in C++, Really Without the Ugly Stuff
Uniform initialization isn't