Sticking with Types, we dive deeper with sum and product types, we hit on Semigroup and start to unwind Monoids!