Agda-2.3.2.2: src/core/Thierry/test2

def x : Set = Set ;

def x : (A:Set) -> A = x