The following are some of the references, and source materials, from my talk, Option(al) Is Not a Failure (C++ version)