j
k
j a
j l
On Fri, Jun 11, 2010 at 12:46 AM, Felipe Lessa 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
Back to the thread
Back to the list
