[Haskell-beginners] Maybe a and Maybe t

Brent Yorgey byorgey at seas.upenn.edu
Sun May 31 20:10:34 EDT 2009

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'.


More information about the Beginners mailing list