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.