2007/3/23, Daniil Elovkov <[EMAIL PROTECTED]>:
Ok, btw, this works :)data Cnd c where In :: (Eq (c a)) => c a -> [c a] -> Cnd c check :: (Eq (c a)) => Cnd c -> Bool
Eq constraint isn't even needed here, obviously
check (x `In` items) = x `elem` items
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
