Fix old code.
mapM_ to the rescue
Add first custom datatype
Add another datatype with type signatures
Add tuple examples