Yes because usually for practical purposes typecla...
# functional
r
Yes because usually for practical purposes typeclass instances are frequently grouped around the datatype that they extend