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