Example of higher kinded types, etc.
Example of using units.
Updates.
Updated tutorial exercises.
Updated tutorial exercises.