MetaML announcement

M M EEE TA M M L MM MM E T A AMM MM L M M M M E T A A M M M M L M M M M E T A M M M M L M M M E T A

overlapping instances

To my notes on the overlapping instances and deduced contexts Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes on 29 Feb 2000 >> If we want the recent implementations to compile this as needed, we >> have to write >> g :: (Eq a, Eq (Maybe a)) => (a -> Bool) -> [a] -> [Bool] >>