Design notes on optional