module OpBind where postulate _∘_ : Set -> Set -> Set Homomorphic₀ : Set → Set Homomorphic₀ ∘ = ∘