Monoidal
class
Monoidal
c
(<>)