module exampleTypeAbbreviations2 where

postulate A : Set
A2 : Set
A2 = A -> A

a2 : A2
a2 = \x -> x


a2' : A -> A
a2' = a2