I am not a patent lawyer, but is there any evidence that Microsoft is even trying to protect this particular IP? AFAIK, the Simons publish research papers free

I am not a patent lawyer, but is there any evidence that Microsoft is even trying to protect this particular IP? AFAIK, the Simons publish research papers freely, and GHC is licensed under what amounts to a BSD3 license (by the University of Glasgow... not Microsoft).