Damn, I read that and didn't understand half of the graduate stuff. Then again, I'm at work so what am I doing reading this? I have so much to learn and so little time to do it.
Don't feel bad. I've been messing around with Haskell a while myself, and I start to lose it around the functional dependencies.