bifunctors and composition