Correct ghci output in 'Types manipulation'
Correct Product in 'Algebraic data-types'
Completing 'Algebraic data-types'