Check fun x : Bool, x
Show fun x y : Bool, x
Show fun (A : Type) (x y : A), x = y
Check fun (A : Type) (x y : A), x = y
Check Pi (A B : Type), Type
Show Pi (A B : Type), A = B