Re: [Haskell-cafe] What is a rigid type variable?

On Mon, 23 Jun 2008, Xiao-Yong Jin wrote:

Thanks for the explanation. I guess it's just easier for me not to give any type signature to `go', since ghc should do the type inference quite nicely and reliably.

If you want to stay Haskell98 'asTypeOf' can help you in similar cases.