Re: [Haskell-beginners] Maybe a and Maybe t

On Sun, May 31, 2009 at 05:42:44PM +0200, Daniel Fischer wrote:

But that has nothing to do with the phenomenon, in the inferred type signatures of safeSecond and tidySecond, the 'a' resp. 't' are both type variables of kind *. The only difference is that in one case the name supply delivered 'a' and in the other it delivered 't'.

I think one source of difference is that ghci tries to maintain type variable names from declared type signatures. So perhaps one of the library functions used to define 'safeSecond' has an explicitly declared type signature that mentions 'a', and a library function used to defined 'tidySecond' has one that mentions 't'. -Brent