My solutions for "Types and Typeclasses"