Agda-2.3.2.2: src/core/Thierry/test3

x : (A:Set) -> A ;