Control.Categorical.Object
class
HasTerminalObject
(~>)
class
HasInitialObject
(~>)