arrow-core / arrow.core.extensions.const.eqK
fun <A> ~~liftEq~~(EQA: Eq<A>, arg0: Eq<A>): Eq<Kind<Kind<ForConst, A>, A>>
Do you like Arrow?