arrow-core / arrow.core.extensions.validated.semigroupK
fun <E, A> ~~algebra~~(SE: Semigroup<E>): Semigroup<Kind<Kind<ForValidated, E>, A>>
Do you like Arrow?