Very insightful comment, thanks. I've never thought of things that way before. I guess the practice/theory intersection explains what I find so appealing about Haskell.