Improvements to data types -section
Improvements to polymorphic types
Fixes
Add content to monads
Add summary to FP chapter
Fixes on FP metrics chapter