This review commit removes a bunch of redundant typeclass constraints,
especially the ones on the data declarations, generally considered a
codesmell.