foldr ⊕ ⟨⟩ ∘ map ⟨·⟩ ≡ foldl ⊗ ⟨⟩