fold

fun <X> fold(fa: (A) -> X, fb: (B) -> X): X