module Data.Function where fix :: (a -> a) -> a