instance HasInitialObject k => HasTerminalObject (Dual k)