Changed my mind on remotes.
Data types prettified.
Typeclass example.
More words.
List comprehension example.
Examples and a better closing paragraph.