//arrow-meta/arrow.meta.phases.analysis/typeConstructorEq
[jvm] fun typeConstructorEq(): Eq<KotlinType>
defines Equality on the type constructor
Do you like Arrow?