³There are also other fixed-point combinators than the Y combinator, and there are fixed-point combinators that Haskell can represent, but sensible binding is a better solution, so we won’t discuss them here.