//arrow-meta/arrow.meta.phases.resolve.synthetics/SyntheticResolver/addSyntheticSupertypes
[jvm] abstract fun CompilerContext.addSyntheticSupertypes(thisDescriptor: ClassDescriptor, supertypes: MutableList<KotlinType>)
Do you like Arrow?