Control.Category.Object
class HasInitialObject k i