Optional/build A0 (Optional/fold A1 x)