11 Jun
2010
11 Jun
'10
11:51 a.m.
On Fri, Jun 11, 2010 at 12:46 AM, Felipe Lessa <felipe.lessa@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