I really like C#'s optional Nullable<?> monad for value types. I wish I trigger a mode to allow reference types to be non-nullable by default and still work wit

I really like C#'s optional Nullable<?> monad for value types. I wish I trigger a mode to allow reference types to be non-nullable by default and still work with Nullable<?>