Blahblah sick blahblah tired blahblah giant antibiotic pills blah
Okay, so one thing that I was thinking about a long time ago when I reread the House paper was that the whole notion of the H monad, a restricted version of the IO monad meant for interacting with the OS, was really a lot like a specification of an exokernel.
I don't think the analogy is perfect, but I do think that something like the H monad combined with a plug-ins system for Haskell could actually be used to make something very similar to an exokernel with external libraries providing the real meat of normal OS abstractions to processes.
I need to think about this a bit more.
I also would like to do chunks of the book Computational Category Theory in Haskell, just to make myself sit down and really get comfortable with the way that book approaches the subject. Different takes on familiar subjects are always nice.