newtype Fun a = Fun (Fun a -> a)

unwrap (Fun f) = f

selfApply f = unwrap f f

myfix f = selfApply $ Fun $ \g -> f (selfApply g)

> myfix (\f n -> if n==0 then 1 else n * f (n-1)) 5
120