bifunctorial fold and map