13 Dec
2005
13 Dec
'05
9:37 a.m.
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:bulatz@HotPOP.com