Well I guess at the time large part of GHC development technically was Microsoft Research ;) . But yeh the Functional Programming and Compilers course were nice exceptions to the Microsoft trend. That's also why I ended up following that path in my master's programme :')