TODO Would a compiler plugin be able to create functionality similar to the ? operator in rust? Forbid nullability in Tuples