Simplifying instances, see #70
Moves self-instances (HasPart (PartT a) et al), see #70
Simplifying instances, see #70