Understand the Maybe Data Type by Andy Van Slaars