The Maybe type from Haskell/other functional languages implemented (as best as possible) in Java.