#lang racket

(define id (lambda (x) x))

(define Y (lambda (f) (lambda (x) (f (x x))) (lambda (x) (f (x x)))))

(define T (lambda (x) (lambda (y) x)))

(define F (lambda (x) (lambda (y) y)))