This will help getting rid of the Maybe monad pattern in our code (at least partially) - all patterns are patches for missing language features. I cannot see any drawbacks personally. Would much rather prefer the 'object! paramName' not-null enforcement operator though, but it is tricky to make it backwards-compatible.