これに基づいて議論しませんか?

http://www.haskell.org/definition/haskell98-report.pdf