This appears† to be the result of Facebook having purchased a UK company called Monoidics†† in 2013. It's nice to see these types of acquisitions resulting in code getting opensourced.
† https://github.com/facebook/infer/blob/2bce7c6c3dbb22646e2d6...