Update with extra section on StateT and other type classes.