unifying withBot and withTop

Stream: general

[Frederick Pu]

Is there a type that unifies withBot and withTop, like withBotTop?
Cause if you do withBot (withTop Nat) that's different from withTop (withBot Nat) so there could be a conflict of convention otherwise

[Mario Carneiro]

No, WithBot (WithTop A) is more common but you have to choose some ordering of the two "effects" or else some laws don't hold when you combine them

[Yury G. Kudryashov]

E.g., algebraic operations behave differently on these two types