List/fold A0 [ x ] B (λ(x : A0) → λ(y : B) → x) z