[Haskell-cafe] Instance match surprise

[Imants Cekusins]

Cześć Wojtek,

in
instance (Eq a, Eq q, Typeable a, Typeable q, AtmAcct a, Against q) =>
    Match a q where

ANY is q
because
instance Against ANY

A130 is a
because of
instance AtmAcct A130



in
instance (AtmAcct a) =>
    Match a ANY where
    match _ _ = True

ANY is specified

A130 is a
because of
instance AtmAcct A130

;)