Letting joke aside, you are not forced to use any of Miguel's "drugs" to solve your problems, yet a lot of software depends on a good platform. They depend on free-opensource implementations on Linux, as is also Java. If Mono hurts your userspace (hopefully this is your point, as Mono is not a part of the kernel), may be kind enough to say how it does it to you? How free software blocks you to be creative, and you don't criticize at all binary blobs (which are encrypted solutions of your drivers) in Linux kernel, or Fluendo MP3 codecs, or Flash, or NVidia/AMD proprietary drivers? or H264 codecs?
You are quiet at all those things that people use or used to use in Linux, and no one cared of free Theora codecs, as far as I'm aware.
This makes me think you are not only with no common sense, but you make your claims baseless. Shall be removed also Typescript from working on NodeJS on Linux? Is also from Microsoft and is ECMA. Maybe we shall remove USB in future as the specification was made by Intel but was also defined with Microsoft employees and C++ as (as I've told in other posts) the main guy in the C++11 is an Microsoft employee. He stated even that he would want a GC into C++ in a public talk.
Solution to mono 3:
# yum remove *mono*
Qt WAS NOT FREE SOFTWARE WHEN GNOME WAS STARTED.
KDE was only possible on top of non-Free libraries, i.e. Qt.
GNOME was started because the alternative was to make the Linux desktop entirely dependent upon proprietary software. Why do you think that would have been a desirable scenario?