module Simple1 where -- functional value as result main = (\x y -> x) (\x -> x) 1 -- id