It doesn't have to be. The stricter version is called 'applicative-order' Y-combinator. The article talks about both versions as well.