Why does this Haskell code produce the “infinite type” error?

Question

I am new to Haskell and facing a \"cannot construct infinite type\" error that I cannot make sense of.

In fact, beyond that, I have not been able to find a good exp

Answer 1

Also I found this which explains the meaning of the error.

Every time the interpreter/compiler gives me this error it's because I'm using some type-parametrized tuple as formal parameter. Everything works correctly by removing the type definition of the function, which was containing type variables.

I still cannot figure out how to both fix it and keep the function type definition.