Hello John, Tuesday, December 13, 2005, 6:27:53 AM, you wrote:
>> areSame :: AnyType -> AnyType -> Bool JM> which would expand to >> areSame :: forall a b . Type a -> Type b -> Bool it is not easier to just define areSame as areSame :: Type a -> Type b -> Bool without even declaring AnyType? -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
