Comment by austinz

Swift supports ADTs and implements its Optional type as an ADT.