-- contains Unicode characters; download, don't copy from browser

module nothing where

test1 : ∀ (A B : Set) → A → B → A
test1 = λ A B a b → a

test2 : ∀ (A B : Set) → A → B → A
test2 A B a b = a

test3 : ∀ (A B C : Set) → (A → B → C) → (A → B) → (A → C)
test3 A B C f g a = f a (g a)