fold<X>(fa: (a: A) => X, fb: (b: B) => X): X;