# function id = \ a . a const = \ a b . a compose = \ bc ab a . bc (ab a) flip = \ abc b a . abc a b fix = \ f . f (fix f) undefined = undefined error = \e . error e seq = \ a ! \b . b