Up: No Title
"Maybe"s are just "oneof"s with a somewhat more convenient syntax
and a possibly more efficient implementation;
"maybe[T] = oneof[empty: null, full: T]".
The methods and routines for a "maybe" type are exactly as defined for
the associated "oneof" type.