Agda-2.3.2.2: test/succeed/OpBind.agda

module OpBind where

postulate _∘_ : Set -> Set -> Set


Homomorphic₀ : Set → Set
Homomorphic₀ ∘ = ∘