Modes.Stateless
type ('a : value_or_null) t : value_or_null mod stateless = 'a Basement.Modes.stateless = {
stateless : 'a @@ stateless;
}