Control.Categorical.Object
class
HasTerminalObject
k
class
HasInitialObject
k