/* Examples for testing */

 lambda x:A. x;


lambda f:Rec X.A->A. lambda x:A. f x;