Read it on Medium.
Partial Ordering: an enigma wrapped inside of a riddle
The Vector Monad in C++, Really Without the Ugly Stuff