Cotraversable
Some category theory with an idea for subkinds.