//arrow-meta/arrow.meta.phases.analysis/resolveFunctionTypeEq
[jvm] fun resolveFunctionTypeEq(): Eq<KotlinType>
defines Equality on types, where FunctionTypes are reduced to their return type
Do you like Arrow?