/* Examples for testing */ lambda x:Top. x; (lambda x:Top. x) (lambda x:Top. x); (lambda x:Top->Top. x) (lambda x:Top. x); lambda x:Bot. x; lambda x:Bot. x x;