Control.Categorical.Object

class HasTerminalObject (~>)

class HasInitialObject (~>)