Constructs a Maybe containing no value (a Nothing).
Nothing
forall a: () => Maybe a
empty() { return Nothing(); }