In the current example does the following totally or partially ignore the type class system.
boo :: Shed -> Integer
boo h = addressB h + addressH h
On 16/10/11, Daniel Fischer <[email protected]> wrote:
In your example, the only difference is that with the superclass constraint
foo :: House h => h -> Integer
foo h = addressB h + addressH h
works, while without superclass constraint, foo would need both classes in
its context.
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
