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 at HotPOP.com