The Haskell type Integer is an example of a concrete type that mirrors the mathematical notion of an integer. However, Haskell functions are often written using polymorphic types, where the exact ...

This is a literate Haskell page: you can load it directly into ghci by following these steps. (These notes are based in part on chapter 10 of Haskell Programming from First Principles, by Christopher ...