Y combinator in haskell

gistfile1.hs

-- plz refer to http://stackoverflow.com/questions/4273413/y-combinator-in-haskell

newtype Mu a = Mu (Mu a -> a)
y f = (\h -> h $ Mu h) (\x -> f. (\(Mu g) -> g) x $ x)

fakePower self n = if n == 0 
			then 1 
			else n*self(n-1)

truePower = y fakePower

main = putStr $ show $ truePower 10
-- output is '3628800'