<@UBD6YCVAR> sounds good. We have some more monoid...

# arrow

[pakoito]

@Leandro Borges Ferreira sounds good. We have some more monoids now, like Try and Either, merged yesterday. For regular data classes we don’t have much, they’re generated with the @product annotation.