One = (\x -> 1) 42; Fred = \x -> ((\f -> \x -> [f, \y : (int) -> x]) x)