option: Tagged union with two types often called Some and None. a.k.a. Maybe </>