Is There a Maybe? Or an Option?

A maybe is a special struct that you can use to explicitly tell the clients of your coat which parts of your input or output can be null. Because it is a maybe, it itself cannot turn into a null, because it is truck and structs in c sharp ore not knollable. So if you want to make your return valu user, you have to rap at with a maybe of user. But if you do use a maybe then your null will be automatically transformed into an instance of that maybe type,. And your cod will proceed. It's sort of close to functional guarantees here as well.