Thomas Davie <tom.davie <at> gmail.com> writes: > In your application (id id) you create two instances of id, each of > which has type forall a. a -> a, and each of which can be applied to a > different type. In this case, the left one gets applied to the type > (a -> a) and the right one a, giving them types (a -> a) -> (a -> a) > and (a -> a) respectively.
Ah, I didn't realize it's because I created two instances of id, but it became clear immediately after you pointed this out. Thank you, Ryan and Thomas, for clarifying my confusion. Wei _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
