On Tue, Feb 24, 2009 at 7:42 PM, jutaro <jnf at arcor.de> wrote: > instance Eq Object where > (ObjC a) ≡ (ObjC b) = if typeOf a ≠ typeOf b > then False > else (Just a) ≡ cast b -- can someone explain to me why this works? In fact, can't you just say instance Eq Object where ObjC a == ObjC b = Just a == cast b ? -- Felipe.