cleanup "Adding Instances"
SemiSequence typeclass documentation