+ Getting started
Functions all the way down
define more functions

and explain >>= a bit
Show GHCi and explain type signatures

Better explain the bind