Agda-2.3.2.2: src/core/Thierry/test1

def id : (A:Set) -> (x:A) -> A = \ A -> \ x -> A ;