#optional type #nullable #potential value #type system #kotlin #c# #maybe value