[Haskell-cafe] detecting infinite loop with type inference (Was: Why Haskell?)

On Mon, 29 Mar 2021, Antonio Regidor Garcia wrote:

Not bussiness oriented, but these two articles are pretty good at explaining what Haskell and similar languages have to offer:

This is brief and centered on Haskell's type system:

https://perl.plover.com/yak/typing/notes.html

From slide 29 on he gives the example that type inference can point him to an infinite loop.

This would not work in Haskell, would it?