module Fix where

main :: Fay ()
main = print (head (tail (fix (\xs -> 123 : xs))))

fix f = let x = f x in x

module Fix where

main :: Fay ()
main = print (head (tail (fix (\xs -> 123 : xs))))

fix f = let x = f x in x
