experimental Nullable monadic extensions