I'd like to read more about haskell's -> operator. I'm not really clear on how much it blurs the line between special syntax and some sort of type class, and I'd like to do some poking around.