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.