7 Data generic programming

• 7.3 write the blog post about CFT
• 7.6 write blog post about Zippers
• 7.7 Add coproducts to Records?