On Fri, Jun 11, 2010 at 12:46 AM, Felipe Lessa <felipe.le...@gmail.com> wrote: > > eqTypeable :: (Typeable a, Eq a, Typeable b, Eq b) => a -> b -> Bool > eqTypeable x y = case cast y of > Just y' -> x == y' > Nothing -> False >
...or indeed: eqTypeable x y = cast x == Just y _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe