. "If you have a background in languages such as C or Java that promote types automatically to handle these cases, you will find this particular inflexibility of Haskell's type system to be confusing and frustrating." . . . .