Paul Hudak, John Peterson, and Joseph Fasel's "Values, Types, and Other Goodies"

Read this page about values and types in Haskell.