But if you had nullable non-nullable types and algebraic mafingamabobbers then the manifold of the closure of the monad would have euler number 6.

― j_blow, 2020-10-29