Formally defined Maybe danom. Danom is like monad only duck-typed. object.s now returns a Maybe danom because undefined is dangerous.