List/fold A0 ([] : List A1) B g x