Symmetric and Semigroupy Bifunctors
