diff --git a/compiler-plugin/src/io/github/kyay10/highkt/HighKTRegistrar.kt b/compiler-plugin/src/io/github/kyay10/highkt/HighKTRegistrar.kt
index d0d7d93..e5e76e9 100644
--- a/compiler-plugin/src/io/github/kyay10/highkt/HighKTRegistrar.kt
+++ b/compiler-plugin/src/io/github/kyay10/highkt/HighKTRegistrar.kt
@@ -1,6 +1,8 @@
 package io.github.kyay10.highkt
 
 import io.github.kyay10.highkt.fir.KindReturnTypeRefiner
+import io.github.kyay10.highkt.fir.KindScopeProviderReplacer
+import io.github.kyay10.highkt.fir.ReplaceKDispatchReceiversExtension
 import org.jetbrains.kotlin.fir.extensions.FirExtensionApiInternals
 import org.jetbrains.kotlin.fir.extensions.FirExtensionRegistrar
 
@@ -8,5 +10,7 @@ class HighKTRegistrar : FirExtensionRegistrar() {
   @OptIn(FirExtensionApiInternals::class)
   override fun ExtensionRegistrarContext.configurePlugin() {
     +::KindReturnTypeRefiner
+    +::KindScopeProviderReplacer
+    +::ReplaceKDispatchReceiversExtension
   }
 }
diff --git a/compiler-plugin/src/io/github/kyay10/highkt/fir/KindReturnTypeRefiner.kt b/compiler-plugin/src/io/github/kyay10/highkt/fir/KindReturnTypeRefiner.kt
index 3dee24b..119018e 100644
--- a/compiler-plugin/src/io/github/kyay10/highkt/fir/KindReturnTypeRefiner.kt
+++ b/compiler-plugin/src/io/github/kyay10/highkt/fir/KindReturnTypeRefiner.kt
@@ -80,7 +80,7 @@ class KindReturnTypeRefiner(session: FirSession) : FirExpressionResolutionExtens
     sessionHolder: SessionAndScopeSessionHolder,
     containingCallableSymbol: FirBasedSymbol<*>,
   ): List<ImplicitExtensionReceiverValue> {
-    // TODO figure out how to make resolution see the member scopes of K types so that this is unnecessary
+    // This exists as a fallback in case scope replacement ever breaks
     functionCall.replaceConeTypeOrNull(functionCall.resolvedType.applyKOrSelf())
     return emptyList()
   }
diff --git a/compiler-plugin/src/io/github/kyay10/highkt/fir/KindScopeProviderReplacer.kt b/compiler-plugin/src/io/github/kyay10/highkt/fir/KindScopeProviderReplacer.kt
new file mode 100644
index 0000000..741d2c9
--- /dev/null
+++ b/compiler-plugin/src/io/github/kyay10/highkt/fir/KindScopeProviderReplacer.kt
@@ -0,0 +1,208 @@
+package io.github.kyay10.highkt.fir
+
+import org.jetbrains.kotlin.diagnostics.DiagnosticReporter
+import org.jetbrains.kotlin.fir.FirImplementationDetail
+import org.jetbrains.kotlin.fir.FirSession
+import org.jetbrains.kotlin.fir.SessionHolder
+import org.jetbrains.kotlin.fir.analysis.checkers.MppCheckerKind
+import org.jetbrains.kotlin.fir.analysis.checkers.context.CheckerContext
+import org.jetbrains.kotlin.fir.analysis.checkers.expression.ExpressionCheckers
+import org.jetbrains.kotlin.fir.analysis.checkers.expression.FirQualifiedAccessExpressionChecker
+import org.jetbrains.kotlin.fir.analysis.extensions.FirAdditionalCheckersExtension
+import org.jetbrains.kotlin.fir.declarations.FirClass
+import org.jetbrains.kotlin.fir.declarations.FirDeclaration
+import org.jetbrains.kotlin.fir.declarations.FirDeclarationOrigin
+import org.jetbrains.kotlin.fir.declarations.FirResolvePhase
+import org.jetbrains.kotlin.fir.declarations.builder.buildRegularClassCopy
+import org.jetbrains.kotlin.fir.declarations.utils.classId
+import org.jetbrains.kotlin.fir.expressions.FirQualifiedAccessExpression
+import org.jetbrains.kotlin.fir.extensions.FirStatusTransformerExtension
+import org.jetbrains.kotlin.fir.resolve.ScopeSession
+import org.jetbrains.kotlin.fir.resolve.ScopeSessionKey
+import org.jetbrains.kotlin.fir.resolve.calls.fullyExpandedClass
+import org.jetbrains.kotlin.fir.resolve.createSubstitutionForScope
+import org.jetbrains.kotlin.fir.resolve.defaultType
+import org.jetbrains.kotlin.fir.resolve.fullyExpandedType
+import org.jetbrains.kotlin.fir.resolve.substitution.ConeRawScopeSubstitutor
+import org.jetbrains.kotlin.fir.resolve.substitution.ConeSubstitutor
+import org.jetbrains.kotlin.fir.resolve.substitution.substitutorByMap
+import org.jetbrains.kotlin.fir.resolve.toClassSymbol
+import org.jetbrains.kotlin.fir.resolve.toSymbol
+import org.jetbrains.kotlin.fir.scopes.ConeSubstitutionScopeKey
+import org.jetbrains.kotlin.fir.scopes.FirKotlinScopeProvider
+import org.jetbrains.kotlin.fir.scopes.FirTypeScope
+import org.jetbrains.kotlin.fir.scopes.impl.FirClassSubstitutionScope
+import org.jetbrains.kotlin.fir.scopes.kotlinScopeProvider
+import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope
+import org.jetbrains.kotlin.fir.symbols.SymbolInternals
+import org.jetbrains.kotlin.fir.symbols.impl.FirRegularClassSymbol
+import org.jetbrains.kotlin.fir.types.ConeClassLikeLookupTag
+import org.jetbrains.kotlin.fir.types.ConeClassLikeType
+import org.jetbrains.kotlin.fir.types.lowerBoundIfFlexible
+import org.jetbrains.kotlin.fir.types.resolvedType
+import org.jetbrains.kotlin.util.PrivateForInline
+
+class ReplaceKDispatchReceiversExtension(session: FirSession) : FirAdditionalCheckersExtension(session) {
+  override val expressionCheckers: ExpressionCheckers
+    get() =
+      object : ExpressionCheckers() {
+        override val qualifiedAccessExpressionCheckers: Set<FirQualifiedAccessExpressionChecker>
+          get() = setOf(Checker())
+      }
+
+  class Checker : FirQualifiedAccessExpressionChecker(MppCheckerKind.Common) {
+    context(context: CheckerContext, reporter: DiagnosticReporter)
+    override fun check(expression: FirQualifiedAccessExpression) {
+      val receiver = expression.dispatchReceiver ?: return
+      val type = receiver.resolvedType
+      val applied = type.applyKOrSelf()
+      if (applied !== type) receiver.replaceConeTypeOrNull(applied) // TODO might throw error
+    }
+  }
+}
+
+@OptIn(FirImplementationDetail::class, SymbolInternals::class, PrivateForInline::class)
+class KindScopeProviderReplacer(session: FirSession) : FirStatusTransformerExtension(session), SessionHolder {
+  private val scopesField = ScopeSession::class.java.getDeclaredField("scopes").apply { isAccessible = true }
+  var initialized = false
+
+  override fun needTransformStatus(declaration: FirDeclaration): Boolean {
+    if (!initialized) {
+      initialized = true
+      val symbol = K_CLASS_ID.toSymbol() as? FirRegularClassSymbol ?: return false
+      val originalDecorator = session.kotlinScopeProvider.declaredMemberScopeDecorator
+      symbol.bind(
+        buildRegularClassCopy(symbol.fir) {
+          scopeProvider =
+            FirKotlinScopeProvider { klass, declaredMemberScope, useSiteSession, scopeSession, memberRequiredPhase ->
+              try {
+                scopesField.set(
+                  scopeSession,
+                  ScopeSessionMap(useSiteSession, scopeSession).apply { putAll(scopeSession.scopes()) },
+                )
+              } catch(_: Exception) { }
+              originalDecorator(klass, declaredMemberScope, useSiteSession, scopeSession, memberRequiredPhase)
+            }
+          this.symbol = symbol
+        }
+      )
+    }
+    return false
+  }
+}
+
+class ScopeSessionMap(val session: FirSession, val scopeSession: ScopeSession) :
+  HashMap<Any, HashMap<ScopeSessionKey<*, *>, Any>>() {
+  override fun containsKey(key: Any) =
+    super.containsKey(key) || (key is FirClass && key.fullyExpandedClass(session)?.classId == K_CLASS_ID)
+
+  override fun get(key: Any) =
+    when {
+      super.containsKey(key) -> super.get(key)
+      key is FirClass && key.fullyExpandedClass(session)?.classId == K_CLASS_ID ->
+        ScopeSessionKeyMap(key, session, scopeSession).also { put(key, it) }
+      else -> null
+    }
+}
+
+class ScopeSessionKeyMap(
+  private val kClass: FirClass,
+  override val session: FirSession,
+  val scopeSession: ScopeSession,
+) : HashMap<ScopeSessionKey<*, *>, Any>(), SessionHolder {
+  override fun get(key: ScopeSessionKey<*, *>): Any? =
+    when {
+      super.containsKey(key) -> super.get(key)
+      key is ConeSubstitutionScopeKey -> {
+        val substitutor = key.substitutor
+        val kType = substitutor.substituteOrSelf(kClass.defaultType())
+        val isRaw = substitutor is ConeRawScopeSubstitutor
+        val applied = kType.applyKOrSelf()
+        if (applied !is ConeClassLikeType || applied === kType) return super.get(key)
+        (applied.classScope(session, scopeSession, null, isRaw) ?: return super.get(key)).also { put(key, it) }
+      }
+      else -> super.get(key)
+    }
+}
+
+@OptIn(SymbolInternals::class)
+private fun ConeClassLikeType.classScope(
+  useSiteSession: FirSession,
+  scopeSession: ScopeSession,
+  requiredMembersPhase: FirResolvePhase?,
+  isRaw: Boolean,
+): FirTypeScope? {
+  val fullyExpandedType = fullyExpandedType(useSiteSession)
+  val fir = fullyExpandedType.lookupTag.toClassSymbol(useSiteSession)?.fir ?: return null
+  val substitutor =
+    when {
+      isRaw -> ConeRawScopeSubstitutor(useSiteSession)
+      else ->
+        substitutorByMap(
+          createSubstitutionForScope(fir.typeParameters, fullyExpandedType, useSiteSession),
+          useSiteSession,
+        )
+    }
+
+  return fir.scopeForClass(substitutor, useSiteSession, scopeSession, lookupTag, requiredMembersPhase)
+}
+
+fun FirClass.scopeForClass(
+  substitutor: ConeSubstitutor,
+  useSiteSession: FirSession,
+  scopeSession: ScopeSession,
+  memberOwnerLookupTag: ConeClassLikeLookupTag,
+  memberRequiredPhase: FirResolvePhase?,
+): FirTypeScope =
+  scopeForClassImpl(
+    substitutor,
+    useSiteSession,
+    scopeSession,
+    skipPrivateMembers = false,
+    classFirDispatchReceiver = this,
+    isFromExpectClass = false,
+    memberOwnerLookupTag = memberOwnerLookupTag,
+    memberRequiredPhase = memberRequiredPhase,
+  )
+
+private fun FirClass.scopeForClassImpl(
+  substitutor: ConeSubstitutor,
+  useSiteSession: FirSession,
+  scopeSession: ScopeSession,
+  skipPrivateMembers: Boolean,
+  classFirDispatchReceiver: FirClass,
+  isFromExpectClass: Boolean,
+  memberOwnerLookupTag: ConeClassLikeLookupTag?,
+  memberRequiredPhase: FirResolvePhase?,
+): FirTypeScope {
+  val basicScope =
+    unsubstitutedScope(useSiteSession, scopeSession, withForcedTypeCalculator = false, memberRequiredPhase)
+  if (substitutor == ConeSubstitutor.Empty) return basicScope
+
+  val key =
+    ConeSubstitutionScopeKey(
+      classFirDispatchReceiver.symbol.toLookupTag(),
+      isFromExpectClass,
+      substitutor,
+      memberOwnerLookupTag,
+    )
+  val type =
+    substitutor.substituteOrSelf(classFirDispatchReceiver.defaultType()).lowerBoundIfFlexible() as ConeClassLikeType
+
+  return FirClassSubstitutionScope(
+    useSiteSession,
+    basicScope,
+    key,
+    substitutor,
+    type,
+    skipPrivateMembers,
+    makeExpect = isFromExpectClass,
+    memberOwnerLookupTag ?: classFirDispatchReceiver.symbol.toLookupTag(),
+    origin =
+      if (classFirDispatchReceiver != this) {
+        FirDeclarationOrigin.SubstitutionOverride.DeclarationSite
+      } else {
+        FirDeclarationOrigin.SubstitutionOverride.CallSite
+      },
+  )
+}
diff --git a/compiler-plugin/src/io/github/kyay10/highkt/ir/RemoveKCastsGenerationExtension.kt b/compiler-plugin/src/io/github/kyay10/highkt/ir/RemoveKCastsGenerationExtension.kt
index b33bb40..3bb71d5 100644
--- a/compiler-plugin/src/io/github/kyay10/highkt/ir/RemoveKCastsGenerationExtension.kt
+++ b/compiler-plugin/src/io/github/kyay10/highkt/ir/RemoveKCastsGenerationExtension.kt
@@ -7,6 +7,8 @@ import org.jetbrains.kotlin.backend.jvm.overrides.IrJavaIncompatibilityRulesOver
 import org.jetbrains.kotlin.ir.IrElement
 import org.jetbrains.kotlin.ir.declarations.IrClass
 import org.jetbrains.kotlin.ir.declarations.IrModuleFragment
+import org.jetbrains.kotlin.ir.declarations.IrProperty
+import org.jetbrains.kotlin.ir.declarations.IrSimpleFunction
 import org.jetbrains.kotlin.ir.expressions.IrExpression
 import org.jetbrains.kotlin.ir.expressions.IrTypeOperator
 import org.jetbrains.kotlin.ir.expressions.IrTypeOperatorCall
@@ -18,9 +20,9 @@ import org.jetbrains.kotlin.ir.types.IrType
 import org.jetbrains.kotlin.ir.types.IrTypeSystemContextImpl
 import org.jetbrains.kotlin.ir.types.impl.buildSimpleType
 import org.jetbrains.kotlin.ir.util.erasedUpperBound
-import org.jetbrains.kotlin.ir.util.functions
 import org.jetbrains.kotlin.ir.util.kotlinFqName
 import org.jetbrains.kotlin.ir.util.nonDispatchParameters
+import org.jetbrains.kotlin.ir.util.propertyIfAccessor
 import org.jetbrains.kotlin.ir.visitors.IrElementTransformerVoid
 import org.jetbrains.kotlin.ir.visitors.IrTypeTransformerVoid
 import org.jetbrains.kotlin.ir.visitors.IrVisitorVoid
@@ -93,7 +95,7 @@ class FixupOverriddenFunctionsVisitor(pluginContext: IrPluginContext) : IrVisito
 
   @OptIn(UnsafeDuringIrConstructionAPI::class)
   override fun visitClass(declaration: IrClass) {
-    for ((_, functions) in declaration.functions.groupBy { it.name }) {
+    for ((_, functions) in declaration.allFunctions.groupBy { it.name }) {
       val fakeOverrides = functions.filter { it.isFakeOverride }
       val realFunctions = functions.filterNot { it.isFakeOverride }
       for (realFunction in realFunctions) {
@@ -121,7 +123,7 @@ class FixupOverriddenFunctionsVisitor(pluginContext: IrPluginContext) : IrVisito
               realFunction.overriddenSymbols += fakeOverride.overriddenSymbols
               parameterTypes = realFunction.nonDispatchParameters.map { it.type }
               returnType = realFunction.returnType
-              declaration.declarations.remove(fakeOverride)
+              declaration.declarations.remove(fakeOverride.propertyIfAccessor)
             }
 
             OverrideCompatibilityInfo.Result.CONFLICT -> Unit
@@ -135,3 +137,13 @@ class FixupOverriddenFunctionsVisitor(pluginContext: IrPluginContext) : IrVisito
     super.visitClass(declaration)
   }
 }
+
+@OptIn(UnsafeDuringIrConstructionAPI::class)
+val IrClass.allFunctions: Sequence<IrSimpleFunction>
+  get() = declarations.asSequence().flatMap {
+    when (it) {
+      is IrSimpleFunction -> listOf(it)
+      is IrProperty -> listOfNotNull(it.getter, it.setter)
+      else -> emptyList()
+    }
+  }
\ No newline at end of file
diff --git a/compiler-plugin/testData/box/category.fir.ir.txt b/compiler-plugin/testData/box/category.fir.ir.txt
index 43118d5..09bfc45 100644
--- a/compiler-plugin/testData/box/category.fir.ir.txt
+++ b/compiler-plugin/testData/box/category.fir.ir.txt
@@ -22,14 +22,18 @@ FILE fqName:foo.bar fileName:/category.kt
       VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.Category<Cat of foo.bar.Category>
       VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
       VALUE_PARAMETER kind:Regular name:g index:2 type:kotlin.Any?
-    FUN name:source visibility:public modality:ABSTRACT returnType:kotlin.Any?
-      TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.Category<Cat of foo.bar.Category>
-      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-    FUN name:target visibility:public modality:ABSTRACT returnType:kotlin.Any?
-      TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.Category<Cat of foo.bar.Category>
-      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+    PROPERTY name:source visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-source> visibility:public modality:ABSTRACT returnType:kotlin.Any?
+        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.Category<Cat of foo.bar.Category>
+        VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+        correspondingProperty: PROPERTY name:source visibility:public modality:ABSTRACT [val]
+    PROPERTY name:target visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-target> visibility:public modality:ABSTRACT returnType:kotlin.Any?
+        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.Category<Cat of foo.bar.Category>
+        VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+        correspondingProperty: PROPERTY name:target visibility:public modality:ABSTRACT [val]
   CLASS INTERFACE name:Functor modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:foo.bar.Functor<C of foo.bar.Functor, D of foo.bar.Functor, F of foo.bar.Functor>
     TYPE_PARAMETER name:C index:0 variance: superTypes:[kotlin.Any?] reified:false
@@ -176,10 +180,6 @@ FILE fqName:foo.bar fileName:/category.kt
       VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
       overridden:
         public open fun toString (): kotlin.String declared in foo.bar.TensorProduct
-    FUN name:empty visibility:public modality:ABSTRACT returnType:kotlin.Any?
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.MonoidObject<Cat of foo.bar.MonoidObject, F of foo.bar.MonoidObject, I of foo.bar.MonoidObject, A of foo.bar.MonoidObject>
-    FUN name:plus visibility:public modality:ABSTRACT returnType:kotlin.Any?
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.MonoidObject<Cat of foo.bar.MonoidObject, F of foo.bar.MonoidObject, I of foo.bar.MonoidObject, A of foo.bar.MonoidObject>
     PROPERTY FAKE_OVERRIDE name:firstCategory visibility:public modality:ABSTRACT [fake_override,val]
       overridden:
         public abstract firstCategory: foo.bar.Category<kotlin.Any?> declared in foo.bar.TensorProduct
@@ -204,6 +204,14 @@ FILE fqName:foo.bar fileName:/category.kt
         correspondingProperty: PROPERTY FAKE_OVERRIDE name:unitObject visibility:public modality:ABSTRACT [fake_override,val]
         overridden:
           public abstract fun <get-unitObject> (): kotlin.Any? declared in foo.bar.TensorProduct
+    PROPERTY name:empty visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-empty> visibility:public modality:ABSTRACT returnType:kotlin.Any?
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.MonoidObject<Cat of foo.bar.MonoidObject, F of foo.bar.MonoidObject, I of foo.bar.MonoidObject, A of foo.bar.MonoidObject>
+        correspondingProperty: PROPERTY name:empty visibility:public modality:ABSTRACT [val]
+    PROPERTY name:plus visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-plus> visibility:public modality:ABSTRACT returnType:kotlin.Any?
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.MonoidObject<Cat of foo.bar.MonoidObject, F of foo.bar.MonoidObject, I of foo.bar.MonoidObject, A of foo.bar.MonoidObject>
+        correspondingProperty: PROPERTY name:plus visibility:public modality:ABSTRACT [val]
   CLASS INTERFACE name:Nat modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:foo.bar.Nat<C of foo.bar.Nat, D of foo.bar.Nat, F of foo.bar.Nat, G of foo.bar.Nat>
     TYPE_PARAMETER name:C index:0 variance: superTypes:[kotlin.Any?] reified:false
@@ -378,26 +386,30 @@ FILE fqName:foo.bar fileName:/category.kt
                     ARG p1: CALL 'public abstract fun invoke (p1: P1 of kotlin.Function1): R of kotlin.Function1 declared in kotlin.Function1' type=B of foo.bar.ArrowCategory.compose origin=INVOKE
                       ARG <this>: GET_VAR 'g: kotlin.Any? declared in foo.bar.ArrowCategory.compose' type=kotlin.Function1<A of foo.bar.ArrowCategory.compose, B of foo.bar.ArrowCategory.compose> origin=VARIABLE_AS_FUNCTION
                       ARG p1: GET_VAR 'a: A of foo.bar.ArrowCategory.compose declared in foo.bar.ArrowCategory.compose.<anonymous>' type=A of foo.bar.ArrowCategory.compose origin=null
-    FUN name:source visibility:public modality:OPEN returnType:kotlin.Any?
-      TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.ArrowCategory
-      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-      overridden:
-        public abstract fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-      BLOCK_BODY
-        RETURN type=kotlin.Nothing from='public open fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.ArrowCategory'
-          CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<A of foo.bar.ArrowCategory.source, A of foo.bar.ArrowCategory.source> origin=null
-            TYPE_ARG A: A of foo.bar.ArrowCategory.source
-    FUN name:target visibility:public modality:OPEN returnType:kotlin.Any?
-      TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.ArrowCategory
-      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-      overridden:
-        public abstract fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-      BLOCK_BODY
-        RETURN type=kotlin.Nothing from='public open fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.ArrowCategory'
-          CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<A of foo.bar.ArrowCategory.target, A of foo.bar.ArrowCategory.target> origin=null
-            TYPE_ARG A: A of foo.bar.ArrowCategory.target
+    PROPERTY name:source visibility:public modality:OPEN [val]
+      FUN name:<get-source> visibility:public modality:OPEN returnType:kotlin.Any?
+        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.ArrowCategory
+        VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+        correspondingProperty: PROPERTY name:source visibility:public modality:OPEN [val]
+        overridden:
+          public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public open fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.ArrowCategory'
+            CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<A of foo.bar.ArrowCategory.<get-source>, A of foo.bar.ArrowCategory.<get-source>> origin=null
+              TYPE_ARG A: A of foo.bar.ArrowCategory.<get-source>
+    PROPERTY name:target visibility:public modality:OPEN [val]
+      FUN name:<get-target> visibility:public modality:OPEN returnType:kotlin.Any?
+        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.ArrowCategory
+        VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+        correspondingProperty: PROPERTY name:target visibility:public modality:OPEN [val]
+        overridden:
+          public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public open fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.ArrowCategory'
+            CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<A of foo.bar.ArrowCategory.<get-target>, A of foo.bar.ArrowCategory.<get-target>> origin=null
+              TYPE_ARG A: A of foo.bar.ArrowCategory.<get-target>
   FUN name:Iso visibility:private modality:FINAL returnType:foo.bar.Iso<C of foo.bar.Iso, D of foo.bar.Iso, F of foo.bar.Iso, G of foo.bar.Iso>
     TYPE_PARAMETER name:C index:0 variance: superTypes:[kotlin.Any?] reified:false
     TYPE_PARAMETER name:D index:1 variance: superTypes:[kotlin.Any?] reified:false
@@ -634,7 +646,7 @@ FILE fqName:foo.bar fileName:/category.kt
                     ARG <this>: CALL 'public abstract fun get <A> (c: kotlin.Any?): kotlin.Any? declared in foo.bar.Nat' type=kotlin.Any? origin=null
                       TYPE_ARG A: B of foo.bar.at
                       ARG <this>: GET_VAR '<this>: foo.bar.Nat<C of foo.bar.at, D of foo.bar.at, F of foo.bar.at, G of foo.bar.at> declared in foo.bar.at' type=foo.bar.Nat<C of foo.bar.at, D of foo.bar.at, F of foo.bar.at, G of foo.bar.at> origin=IMPLICIT_ARGUMENT
-                      ARG c: CALL 'public final fun target <Cat, A> (category: foo.bar.Category<Cat of foo.bar.target>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
+                      ARG c: CALL 'public final fun <get-target> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-target>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=GET_PROPERTY
                         TYPE_ARG Cat: C of foo.bar.at
                         TYPE_ARG A: B of foo.bar.at
                         ARG category: GET_VAR '$context-Category#1: foo.bar.Category<C of foo.bar.at> declared in foo.bar.at.<anonymous>' type=foo.bar.Category<C of foo.bar.at> origin=null
@@ -1627,52 +1639,56 @@ FILE fqName:foo.bar fileName:/category.kt
                     ARG $context-Category: GET_VAR 'cd: foo.bar.Category<D of foo.bar.functorCategory> declared in foo.bar.functorCategory' type=foo.bar.Category<D of foo.bar.functorCategory> origin=null
                     ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.compose' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, G of foo.bar.functorCategory.<no name provided>.compose, H of foo.bar.functorCategory.<no name provided>.compose> origin=null
                     ARG other: GET_VAR 'g: kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.compose' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.compose, G of foo.bar.functorCategory.<no name provided>.compose> origin=null
-            FUN name:source visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.functorCategory.<no name provided><C of foo.bar.functorCategory, D of foo.bar.functorCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun source <F> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>'
-                  CALL 'public final fun context <T, R> (with: T of kotlin.context, block: @[ContextFunctionTypeParams(count = 1)] kotlin.Function1<T of kotlin.context, R of kotlin.context>): R of kotlin.context declared in kotlin' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source> origin=null
-                    TYPE_ARG T: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source>
-                    TYPE_ARG R: foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source>
-                    ARG with: CALL 'public abstract fun <get-firstFunctor> (): foo.bar.Functor<C of foo.bar.Nat, D of foo.bar.Nat, F of foo.bar.Nat> declared in foo.bar.Nat' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source> origin=GET_PROPERTY
-                      ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.source' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, *> origin=IMPLICIT_ARGUMENT
-                    ARG block: FUN_EXPR type=kotlin.Function1<foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source>, foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source>> origin=LAMBDA
-                      FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source>
-                        VALUE_PARAMETER UNDERSCORE_PARAMETER kind:Context name:$context-Functor index:0 type:foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source>
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='local final fun <anonymous> ($context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source>): foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source> declared in foo.bar.functorCategory.<no name provided>.source'
-                            CALL 'public final fun identityNat <C, D, F> (functor: foo.bar.Functor<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat>): foo.bar.Iso<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat, F of foo.bar.identityNat> declared in foo.bar' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source, F of foo.bar.functorCategory.<no name provided>.source> origin=null
-                              TYPE_ARG C: C of foo.bar.functorCategory
-                              TYPE_ARG D: D of foo.bar.functorCategory
-                              TYPE_ARG F: F of foo.bar.functorCategory.<no name provided>.source
-                              ARG functor: GET_VAR '$context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source> declared in foo.bar.functorCategory.<no name provided>.source.<anonymous>' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.source> origin=null
-            FUN name:target visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.functorCategory.<no name provided><C of foo.bar.functorCategory, D of foo.bar.functorCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun target <F> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>'
-                  CALL 'public final fun context <T, R> (with: T of kotlin.context, block: @[ContextFunctionTypeParams(count = 1)] kotlin.Function1<T of kotlin.context, R of kotlin.context>): R of kotlin.context declared in kotlin' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target> origin=null
-                    TYPE_ARG T: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target>
-                    TYPE_ARG R: foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target>
-                    ARG with: CALL 'public abstract fun <get-secondFunctor> (): foo.bar.Functor<C of foo.bar.Nat, D of foo.bar.Nat, G of foo.bar.Nat> declared in foo.bar.Nat' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target> origin=GET_PROPERTY
-                      ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.target' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, *, F of foo.bar.functorCategory.<no name provided>.target> origin=IMPLICIT_ARGUMENT
-                    ARG block: FUN_EXPR type=kotlin.Function1<foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target>, foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target>> origin=LAMBDA
-                      FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target>
-                        VALUE_PARAMETER UNDERSCORE_PARAMETER kind:Context name:$context-Functor index:0 type:foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target>
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='local final fun <anonymous> ($context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target>): foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target> declared in foo.bar.functorCategory.<no name provided>.target'
-                            CALL 'public final fun identityNat <C, D, F> (functor: foo.bar.Functor<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat>): foo.bar.Iso<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat, F of foo.bar.identityNat> declared in foo.bar' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target, F of foo.bar.functorCategory.<no name provided>.target> origin=null
-                              TYPE_ARG C: C of foo.bar.functorCategory
-                              TYPE_ARG D: D of foo.bar.functorCategory
-                              TYPE_ARG F: F of foo.bar.functorCategory.<no name provided>.target
-                              ARG functor: GET_VAR '$context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target> declared in foo.bar.functorCategory.<no name provided>.target.<anonymous>' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.target> origin=null
+            PROPERTY name:source visibility:public modality:OPEN [val]
+              FUN name:<get-source> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.functorCategory.<no name provided><C of foo.bar.functorCategory, D of foo.bar.functorCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:source visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-source> <F> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>'
+                    CALL 'public final fun context <T, R> (with: T of kotlin.context, block: @[ContextFunctionTypeParams(count = 1)] kotlin.Function1<T of kotlin.context, R of kotlin.context>): R of kotlin.context declared in kotlin' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>> origin=null
+                      TYPE_ARG T: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>>
+                      TYPE_ARG R: foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>>
+                      ARG with: CALL 'public abstract fun <get-firstFunctor> (): foo.bar.Functor<C of foo.bar.Nat, D of foo.bar.Nat, F of foo.bar.Nat> declared in foo.bar.Nat' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>> origin=GET_PROPERTY
+                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.<get-source>' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, *> origin=IMPLICIT_ARGUMENT
+                      ARG block: FUN_EXPR type=kotlin.Function1<foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>>, foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>>> origin=LAMBDA
+                        FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>>
+                          VALUE_PARAMETER UNDERSCORE_PARAMETER kind:Context name:$context-Functor index:0 type:foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>>
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='local final fun <anonymous> ($context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>>): foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>> declared in foo.bar.functorCategory.<no name provided>.<get-source>'
+                              CALL 'public final fun identityNat <C, D, F> (functor: foo.bar.Functor<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat>): foo.bar.Iso<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat, F of foo.bar.identityNat> declared in foo.bar' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>, F of foo.bar.functorCategory.<no name provided>.<get-source>> origin=null
+                                TYPE_ARG C: C of foo.bar.functorCategory
+                                TYPE_ARG D: D of foo.bar.functorCategory
+                                TYPE_ARG F: F of foo.bar.functorCategory.<no name provided>.<get-source>
+                                ARG functor: GET_VAR '$context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>> declared in foo.bar.functorCategory.<no name provided>.<get-source>.<anonymous>' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-source>> origin=null
+            PROPERTY name:target visibility:public modality:OPEN [val]
+              FUN name:<get-target> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.functorCategory.<no name provided><C of foo.bar.functorCategory, D of foo.bar.functorCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:target visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-target> <F> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>'
+                    CALL 'public final fun context <T, R> (with: T of kotlin.context, block: @[ContextFunctionTypeParams(count = 1)] kotlin.Function1<T of kotlin.context, R of kotlin.context>): R of kotlin.context declared in kotlin' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>> origin=null
+                      TYPE_ARG T: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>>
+                      TYPE_ARG R: foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>>
+                      ARG with: CALL 'public abstract fun <get-secondFunctor> (): foo.bar.Functor<C of foo.bar.Nat, D of foo.bar.Nat, G of foo.bar.Nat> declared in foo.bar.Nat' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>> origin=GET_PROPERTY
+                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.functorCategory.<no name provided>.<get-target>' type=foo.bar.Nat<C of foo.bar.functorCategory, D of foo.bar.functorCategory, *, F of foo.bar.functorCategory.<no name provided>.<get-target>> origin=IMPLICIT_ARGUMENT
+                      ARG block: FUN_EXPR type=kotlin.Function1<foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>>, foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>>> origin=LAMBDA
+                        FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>>
+                          VALUE_PARAMETER UNDERSCORE_PARAMETER kind:Context name:$context-Functor index:0 type:foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>>
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='local final fun <anonymous> ($context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>>): foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>> declared in foo.bar.functorCategory.<no name provided>.<get-target>'
+                              CALL 'public final fun identityNat <C, D, F> (functor: foo.bar.Functor<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat>): foo.bar.Iso<C of foo.bar.identityNat, D of foo.bar.identityNat, F of foo.bar.identityNat, F of foo.bar.identityNat> declared in foo.bar' type=foo.bar.Iso<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>, F of foo.bar.functorCategory.<no name provided>.<get-target>> origin=null
+                                TYPE_ARG C: C of foo.bar.functorCategory
+                                TYPE_ARG D: D of foo.bar.functorCategory
+                                TYPE_ARG F: F of foo.bar.functorCategory.<no name provided>.<get-target>
+                                ARG functor: GET_VAR '$context-Functor: foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>> declared in foo.bar.functorCategory.<no name provided>.<get-target>.<anonymous>' type=foo.bar.Functor<C of foo.bar.functorCategory, D of foo.bar.functorCategory, F of foo.bar.functorCategory.<no name provided>.<get-target>> origin=null
           CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.functorCategory.<no name provided>' type=foo.bar.functorCategory.<no name provided><C of foo.bar.functorCategory, D of foo.bar.functorCategory> origin=OBJECT_LITERAL
   FUN name:functorComposeFunctor visibility:public modality:FINAL returnType:foo.bar.Functor<kotlin.Any?, kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>>
     TYPE_PARAMETER name:C index:0 variance: superTypes:[kotlin.Any?] reified:false
@@ -2136,32 +2152,52 @@ FILE fqName:foo.bar fileName:/category.kt
                     ARG category: GET_VAR 'c: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=null
                     ARG <this>: GET_VAR 'g: kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.compose' type=kotlin.Any? origin=null
                     ARG g: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.compose' type=kotlin.Any? origin=null
-            FUN name:source visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.oppositeCategory.<no name provided><Cat of foo.bar.oppositeCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>'
-                  CALL 'public final fun target <Cat, A> (category: foo.bar.Category<Cat of foo.bar.target>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                    TYPE_ARG Cat: Cat of foo.bar.oppositeCategory
-                    TYPE_ARG A: A of foo.bar.oppositeCategory.<no name provided>.source
-                    ARG category: GET_VAR 'c: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=null
-                    ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.source' type=kotlin.Any? origin=IMPLICIT_ARGUMENT
-            FUN name:target visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.oppositeCategory.<no name provided><Cat of foo.bar.oppositeCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>'
-                  CALL 'public final fun source <Cat, A> (category: foo.bar.Category<Cat of foo.bar.source>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                    TYPE_ARG Cat: Cat of foo.bar.oppositeCategory
-                    TYPE_ARG A: A of foo.bar.oppositeCategory.<no name provided>.target
-                    ARG category: GET_VAR 'c: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=null
-                    ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.target' type=kotlin.Any? origin=IMPLICIT_ARGUMENT
+            PROPERTY name:source visibility:public modality:OPEN [val]
+              FUN name:<get-source> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.oppositeCategory.<no name provided><Cat of foo.bar.oppositeCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:source visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>'
+                    CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
+                      TYPE_ARG T: foo.bar.Category<Cat of foo.bar.oppositeCategory>
+                      TYPE_ARG R: kotlin.Any?
+                      ARG receiver: GET_VAR 'c: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=null
+                      ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.oppositeCategory>, kotlin.Any?> origin=LAMBDA
+                        FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
+                          VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.oppositeCategory>
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.oppositeCategory>): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.<get-source>'
+                              CALL 'public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=GET_PROPERTY
+                                TYPE_ARG A: A of foo.bar.oppositeCategory.<no name provided>.<get-source>
+                                ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory.<no name provided>.<get-source>.<anonymous>' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=IMPLICIT_ARGUMENT
+                                ARG <this>(index:1): GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.<get-source>' type=kotlin.Any? origin=null
+            PROPERTY name:target visibility:public modality:OPEN [val]
+              FUN name:<get-target> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.oppositeCategory.<no name provided><Cat of foo.bar.oppositeCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:target visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>'
+                    CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
+                      TYPE_ARG T: foo.bar.Category<Cat of foo.bar.oppositeCategory>
+                      TYPE_ARG R: kotlin.Any?
+                      ARG receiver: GET_VAR 'c: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=null
+                      ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.oppositeCategory>, kotlin.Any?> origin=LAMBDA
+                        FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
+                          VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.oppositeCategory>
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.oppositeCategory>): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.<get-target>'
+                              CALL 'public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=GET_PROPERTY
+                                TYPE_ARG A: A of foo.bar.oppositeCategory.<no name provided>.<get-target>
+                                ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.oppositeCategory> declared in foo.bar.oppositeCategory.<no name provided>.<get-target>.<anonymous>' type=foo.bar.Category<Cat of foo.bar.oppositeCategory> origin=IMPLICIT_ARGUMENT
+                                ARG <this>(index:1): GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.oppositeCategory.<no name provided>.<get-target>' type=kotlin.Any? origin=null
           CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.oppositeCategory.<no name provided>' type=foo.bar.oppositeCategory.<no name provided><Cat of foo.bar.oppositeCategory> origin=OBJECT_LITERAL
   FUN name:productCategory visibility:public modality:FINAL returnType:foo.bar.Category<kotlin.Any?>
     TYPE_PARAMETER name:C1 index:0 variance: superTypes:[kotlin.Any?] reified:false
@@ -2224,93 +2260,57 @@ FILE fqName:foo.bar fileName:/category.kt
                         ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.compose' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
                       ARG g: CALL 'public final fun <get-second> (): B of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
                         ARG <this>: GET_VAR 'g: kotlin.Any? declared in foo.bar.productCategory.<no name provided>.compose' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=null
-            FUN name:source visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.productCategory.<no name provided><C1 of foo.bar.productCategory, C2 of foo.bar.productCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun source <P> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.productCategory.<no name provided>'
-                  CALL 'public final fun to <A, B> (<this>: A of kotlin.to, that: B of kotlin.to): kotlin.Pair<A of kotlin.to, B of kotlin.to> declared in kotlin' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=null
-                    TYPE_ARG A: kotlin.Any?
-                    TYPE_ARG B: kotlin.Any?
-                    ARG <this>: CALL 'public final fun source <Cat, A> (category: foo.bar.Category<Cat of foo.bar.source>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                      TYPE_ARG Cat: C1 of foo.bar.productCategory
-                      TYPE_ARG A: kotlin.Any?
-                      ARG category: GET_VAR '$context-Category#1: foo.bar.Category<C1 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C1 of foo.bar.productCategory> origin=null
-                      ARG <this>: CALL 'public final fun <get-first> (): A of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
-                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.source' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
-                    ARG that: CALL 'public final fun source <Cat, A> (category: foo.bar.Category<Cat of foo.bar.source>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                      TYPE_ARG Cat: C2 of foo.bar.productCategory
-                      TYPE_ARG A: kotlin.Any?
-                      ARG category: GET_VAR '$context-Category#2: foo.bar.Category<C2 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C2 of foo.bar.productCategory> origin=null
-                      ARG <this>: CALL 'public final fun <get-second> (): B of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
-                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.source' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
-            FUN name:target visibility:public modality:OPEN returnType:kotlin.Any?
-              TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
-              VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.productCategory.<no name provided><C1 of foo.bar.productCategory, C2 of foo.bar.productCategory>
-              VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-              overridden:
-                public abstract fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='public open fun target <P> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.productCategory.<no name provided>'
-                  CALL 'public final fun to <A, B> (<this>: A of kotlin.to, that: B of kotlin.to): kotlin.Pair<A of kotlin.to, B of kotlin.to> declared in kotlin' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=null
-                    TYPE_ARG A: kotlin.Any?
-                    TYPE_ARG B: kotlin.Any?
-                    ARG <this>: CALL 'public final fun target <Cat, A> (category: foo.bar.Category<Cat of foo.bar.target>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                      TYPE_ARG Cat: C1 of foo.bar.productCategory
+            PROPERTY name:source visibility:public modality:OPEN [val]
+              FUN name:<get-source> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.productCategory.<no name provided><C1 of foo.bar.productCategory, C2 of foo.bar.productCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:source visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-source> <P> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.productCategory.<no name provided>'
+                    CALL 'public final fun to <A, B> (<this>: A of kotlin.to, that: B of kotlin.to): kotlin.Pair<A of kotlin.to, B of kotlin.to> declared in kotlin' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=null
                       TYPE_ARG A: kotlin.Any?
-                      ARG category: GET_VAR '$context-Category#1: foo.bar.Category<C1 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C1 of foo.bar.productCategory> origin=null
-                      ARG <this>: CALL 'public final fun <get-first> (): A of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
-                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.target' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
-                    ARG that: CALL 'public final fun target <Cat, A> (category: foo.bar.Category<Cat of foo.bar.target>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=null
-                      TYPE_ARG Cat: C2 of foo.bar.productCategory
+                      TYPE_ARG B: kotlin.Any?
+                      ARG <this>: CALL 'public final fun <get-source> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-source>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=GET_PROPERTY
+                        TYPE_ARG Cat: C1 of foo.bar.productCategory
+                        TYPE_ARG A: kotlin.Any?
+                        ARG category: GET_VAR '$context-Category#1: foo.bar.Category<C1 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C1 of foo.bar.productCategory> origin=null
+                        ARG <this>: CALL 'public final fun <get-first> (): A of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
+                          ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.<get-source>' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
+                      ARG that: CALL 'public final fun <get-source> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-source>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=GET_PROPERTY
+                        TYPE_ARG Cat: C2 of foo.bar.productCategory
+                        TYPE_ARG A: kotlin.Any?
+                        ARG category: GET_VAR '$context-Category#2: foo.bar.Category<C2 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C2 of foo.bar.productCategory> origin=null
+                        ARG <this>: CALL 'public final fun <get-second> (): B of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
+                          ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.<get-source>' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
+            PROPERTY name:target visibility:public modality:OPEN [val]
+              FUN name:<get-target> visibility:public modality:OPEN returnType:kotlin.Any?
+                TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
+                VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.productCategory.<no name provided><C1 of foo.bar.productCategory, C2 of foo.bar.productCategory>
+                VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+                correspondingProperty: PROPERTY name:target visibility:public modality:OPEN [val]
+                overridden:
+                  public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='public open fun <get-target> <P> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.productCategory.<no name provided>'
+                    CALL 'public final fun to <A, B> (<this>: A of kotlin.to, that: B of kotlin.to): kotlin.Pair<A of kotlin.to, B of kotlin.to> declared in kotlin' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=null
                       TYPE_ARG A: kotlin.Any?
-                      ARG category: GET_VAR '$context-Category#2: foo.bar.Category<C2 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C2 of foo.bar.productCategory> origin=null
-                      ARG <this>: CALL 'public final fun <get-second> (): B of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
-                        ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.target' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
+                      TYPE_ARG B: kotlin.Any?
+                      ARG <this>: CALL 'public final fun <get-target> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-target>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=GET_PROPERTY
+                        TYPE_ARG Cat: C1 of foo.bar.productCategory
+                        TYPE_ARG A: kotlin.Any?
+                        ARG category: GET_VAR '$context-Category#1: foo.bar.Category<C1 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C1 of foo.bar.productCategory> origin=null
+                        ARG <this>: CALL 'public final fun <get-first> (): A of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
+                          ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.<get-target>' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
+                      ARG that: CALL 'public final fun <get-target> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-target>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar' type=kotlin.Any? origin=GET_PROPERTY
+                        TYPE_ARG Cat: C2 of foo.bar.productCategory
+                        TYPE_ARG A: kotlin.Any?
+                        ARG category: GET_VAR '$context-Category#2: foo.bar.Category<C2 of foo.bar.productCategory> declared in foo.bar.productCategory' type=foo.bar.Category<C2 of foo.bar.productCategory> origin=null
+                        ARG <this>: CALL 'public final fun <get-second> (): B of kotlin.Pair declared in kotlin.Pair' type=kotlin.Any? origin=GET_PROPERTY
+                          ARG <this>: GET_VAR '<this>(index:1): kotlin.Any? declared in foo.bar.productCategory.<no name provided>.<get-target>' type=kotlin.Pair<kotlin.Any?, kotlin.Any?> origin=IMPLICIT_ARGUMENT
           CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.productCategory.<no name provided>' type=foo.bar.productCategory.<no name provided><C1 of foo.bar.productCategory, C2 of foo.bar.productCategory> origin=OBJECT_LITERAL
-  FUN name:source visibility:public modality:FINAL returnType:kotlin.Any?
-    TYPE_PARAMETER name:Cat index:0 variance: superTypes:[kotlin.Any?] reified:false
-    TYPE_PARAMETER name:A index:1 variance: superTypes:[kotlin.Any?] reified:false
-    VALUE_PARAMETER kind:Context name:category index:0 type:foo.bar.Category<Cat of foo.bar.source>
-    VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-    BLOCK_BODY
-      RETURN type=kotlin.Nothing from='public final fun source <Cat, A> (category: foo.bar.Category<Cat of foo.bar.source>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar'
-        CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
-          TYPE_ARG T: foo.bar.Category<Cat of foo.bar.source>
-          TYPE_ARG R: kotlin.Any?
-          ARG receiver: GET_VAR 'category: foo.bar.Category<Cat of foo.bar.source> declared in foo.bar.source' type=foo.bar.Category<Cat of foo.bar.source> origin=null
-          ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.source>, kotlin.Any?> origin=LAMBDA
-            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
-              VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.source>
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.source>): kotlin.Any? declared in foo.bar.source'
-                  CALL 'public abstract fun source <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=null
-                    TYPE_ARG A: A of foo.bar.source
-                    ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.source> declared in foo.bar.source.<anonymous>' type=foo.bar.Category<Cat of foo.bar.source> origin=IMPLICIT_ARGUMENT
-                    ARG <this>(index:1): GET_VAR '<this>: kotlin.Any? declared in foo.bar.source' type=kotlin.Any? origin=null
-  FUN name:target visibility:public modality:FINAL returnType:kotlin.Any?
-    TYPE_PARAMETER name:Cat index:0 variance: superTypes:[kotlin.Any?] reified:false
-    TYPE_PARAMETER name:A index:1 variance: superTypes:[kotlin.Any?] reified:false
-    VALUE_PARAMETER kind:Context name:category index:0 type:foo.bar.Category<Cat of foo.bar.target>
-    VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
-    BLOCK_BODY
-      RETURN type=kotlin.Nothing from='public final fun target <Cat, A> (category: foo.bar.Category<Cat of foo.bar.target>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar'
-        CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
-          TYPE_ARG T: foo.bar.Category<Cat of foo.bar.target>
-          TYPE_ARG R: kotlin.Any?
-          ARG receiver: GET_VAR 'category: foo.bar.Category<Cat of foo.bar.target> declared in foo.bar.target' type=foo.bar.Category<Cat of foo.bar.target> origin=null
-          ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.target>, kotlin.Any?> origin=LAMBDA
-            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
-              VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.target>
-              BLOCK_BODY
-                RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.target>): kotlin.Any? declared in foo.bar.target'
-                  CALL 'public abstract fun target <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=null
-                    TYPE_ARG A: A of foo.bar.target
-                    ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.target> declared in foo.bar.target.<anonymous>' type=foo.bar.Category<Cat of foo.bar.target> origin=IMPLICIT_ARGUMENT
-                    ARG <this>(index:1): GET_VAR '<this>: kotlin.Any? declared in foo.bar.target' type=kotlin.Any? origin=null
   FUN name:toNormalFunctor visibility:public modality:FINAL returnType:foo.bar.Functor<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, M of foo.bar.toNormalFunctor>
     TYPE_PARAMETER name:M index:0 variance: superTypes:[kotlin.Any?] reified:false
     VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:0 type:foo.bar.UsualMonad<M of foo.bar.toNormalFunctor>
@@ -2424,148 +2424,11 @@ FILE fqName:foo.bar fileName:/category.kt
                           CALL 'public final fun endoFunctorComposeTensor <Cat> (k: foo.bar.Category<Cat of foo.bar.endoFunctorComposeTensor>): foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> declared in foo.bar' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
                             TYPE_ARG Cat: io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>
                             ARG k: GET_VAR '$context-ArrowCategory: foo.bar.ArrowCategory declared in foo.bar.toNormalMonad.<anonymous>' type=foo.bar.ArrowCategory origin=null
-                      CONSTRUCTOR visibility:public returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> [primary]
-                        BLOCK_BODY
-                          DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
-                          INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toNormalMonad>; foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity>]' type=kotlin.Unit
-                      FUN DELEGATED_MEMBER name:associator visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
-                        TYPE_PARAMETER name:C index:2 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        VALUE_PARAMETER kind:Regular name:b index:2 type:kotlin.Any?
-                        VALUE_PARAMETER kind:Regular name:c index:3 type:kotlin.Any?
-                        overridden:
-                          public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
-                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
-                              TYPE_ARG C: C of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
-                              ARG b: GET_VAR 'b: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
-                              ARG c: GET_VAR 'c: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:associatorInv visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
-                        TYPE_PARAMETER name:C index:2 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        VALUE_PARAMETER kind:Regular name:b index:2 type:kotlin.Any?
-                        VALUE_PARAMETER kind:Regular name:c index:3 type:kotlin.Any?
-                        overridden:
-                          public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
-                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
-                              TYPE_ARG C: C of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
-                              ARG b: GET_VAR 'b: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
-                              ARG c: GET_VAR 'c: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:leftUnitor visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        overridden:
-                          public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:leftUnitorInv visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        overridden:
-                          public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:lift visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:f index:1 type:kotlin.Any?
-                        overridden:
-                          public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift
-                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG f: GET_VAR 'f: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:rightUnitor visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        overridden:
-                          public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor' type=kotlin.Any? origin=null
-                      FUN DELEGATED_MEMBER name:rightUnitorInv visibility:public modality:OPEN returnType:kotlin.Any?
-                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
-                        overridden:
-                          public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
-                          public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
-                            CALL 'public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
-                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv
-                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
-                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
-                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv' type=kotlin.Any? origin=null
-                      FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
-                        VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
+                      PROPERTY name:empty visibility:public modality:OPEN [val]
                         overridden:
-                          public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in foo.bar.MonoidObject
-                          public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in foo.bar.TensorProduct
-                      FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
-                        overridden:
-                          public open fun hashCode (): kotlin.Int declared in foo.bar.MonoidObject
-                          public open fun hashCode (): kotlin.Int declared in foo.bar.TensorProduct
-                      FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
-                        overridden:
-                          public open fun toString (): kotlin.String declared in foo.bar.MonoidObject
-                          public open fun toString (): kotlin.String declared in foo.bar.TensorProduct
-                      FUN name:empty visibility:public modality:OPEN returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
-                        overridden:
-                          public abstract fun empty (): kotlin.Any? declared in foo.bar.MonoidObject
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun empty (): foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                          public abstract empty: kotlin.Any? declared in foo.bar.MonoidObject
+                        FIELD PROPERTY_BACKING_FIELD name:empty type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> visibility:private [final]
+                          EXPRESSION_BODY
                             BLOCK type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> origin=OBJECT_LITERAL
                               CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Identity, M of foo.bar.toNormalMonad>]
                                 thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad>
@@ -2638,12 +2501,20 @@ FILE fqName:foo.bar fileName:/category.kt
                                                 ARG <this>: GET_VAR '<this>: foo.bar.UsualMonad<M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad' type=foo.bar.UsualMonad<M of foo.bar.toNormalMonad> origin=IMPLICIT_ARGUMENT
                                                 ARG a: GET_VAR 'a: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided>.get declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided>.get.<anonymous>' type=A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided>.get origin=null
                               CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided>' type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> origin=OBJECT_LITERAL
-                      FUN name:plus visibility:public modality:OPEN returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad>
-                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        FUN DEFAULT_PROPERTY_ACCESSOR name:<get-empty> visibility:public modality:OPEN returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad>
+                          VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                          correspondingProperty: PROPERTY name:empty visibility:public modality:OPEN [val]
+                          overridden:
+                            public abstract fun <get-empty> (): kotlin.Any? declared in foo.bar.MonoidObject
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='public open fun <get-empty> (): foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                              GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:empty type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> visibility:private [final]' type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.empty.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.<get-empty>' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                      PROPERTY name:plus visibility:public modality:OPEN [val]
                         overridden:
-                          public abstract fun plus (): kotlin.Any? declared in foo.bar.MonoidObject
-                        BLOCK_BODY
-                          RETURN type=kotlin.Nothing from='public open fun plus (): foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                          public abstract plus: kotlin.Any? declared in foo.bar.MonoidObject
+                        FIELD PROPERTY_BACKING_FIELD name:plus type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> visibility:private [final]
+                          EXPRESSION_BODY
                             BLOCK type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> origin=OBJECT_LITERAL
                               CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, kotlin.Any?, M of foo.bar.toNormalMonad>]
                                 thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad>
@@ -2728,6 +2599,151 @@ FILE fqName:foo.bar fileName:/category.kt
                                                       RETURN type=kotlin.Nothing from='local final fun <anonymous> (ma: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided>.get.<anonymous>'
                                                         GET_VAR 'ma: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided>.get.<anonymous>.<anonymous>' type=kotlin.Any? origin=null
                               CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided>' type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> origin=OBJECT_LITERAL
+                        FUN DEFAULT_PROPERTY_ACCESSOR name:<get-plus> visibility:public modality:OPEN returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad>
+                          VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                          correspondingProperty: PROPERTY name:plus visibility:public modality:OPEN [val]
+                          overridden:
+                            public abstract fun <get-plus> (): kotlin.Any? declared in foo.bar.MonoidObject
+                          BLOCK_BODY
+                            RETURN type=kotlin.Nothing from='public open fun <get-plus> (): foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                              GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:plus type:foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> visibility:private [final]' type=foo.bar.toNormalMonad.<anonymous>.<no name provided>.plus.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.<get-plus>' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                      CONSTRUCTOR visibility:public returnType:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> [primary]
+                        BLOCK_BODY
+                          DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
+                          INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toNormalMonad>; foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity>]' type=kotlin.Unit
+                      FUN DELEGATED_MEMBER name:associator visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
+                        TYPE_PARAMETER name:C index:2 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        VALUE_PARAMETER kind:Regular name:b index:2 type:kotlin.Any?
+                        VALUE_PARAMETER kind:Regular name:c index:3 type:kotlin.Any?
+                        overridden:
+                          public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun associator <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
+                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
+                              TYPE_ARG C: C of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
+                              ARG b: GET_VAR 'b: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
+                              ARG c: GET_VAR 'c: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associator' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:associatorInv visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
+                        TYPE_PARAMETER name:C index:2 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        VALUE_PARAMETER kind:Regular name:b index:2 type:kotlin.Any?
+                        VALUE_PARAMETER kind:Regular name:c index:3 type:kotlin.Any?
+                        overridden:
+                          public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun associatorInv <A, B, C> (a: kotlin.Any?, b: kotlin.Any?, c: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
+                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
+                              TYPE_ARG C: C of foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
+                              ARG b: GET_VAR 'b: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
+                              ARG c: GET_VAR 'c: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.associatorInv' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:leftUnitor visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        overridden:
+                          public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun leftUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitor' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:leftUnitorInv visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        overridden:
+                          public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun leftUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.leftUnitorInv' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:lift visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:f index:1 type:kotlin.Any?
+                        overridden:
+                          public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun lift <A, B> (f: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift
+                              TYPE_ARG B: B of foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG f: GET_VAR 'f: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.lift' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:rightUnitor visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        overridden:
+                          public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun rightUnitor <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitor' type=kotlin.Any? origin=null
+                      FUN DELEGATED_MEMBER name:rightUnitorInv visibility:public modality:OPEN returnType:kotlin.Any?
+                        TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad>
+                        VALUE_PARAMETER kind:Regular name:a index:1 type:kotlin.Any?
+                        overridden:
+                          public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.MonoidObject
+                          public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct
+                        BLOCK_BODY
+                          RETURN type=kotlin.Nothing from='public open fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>'
+                            CALL 'public abstract fun rightUnitorInv <A> (a: kotlin.Any?): kotlin.Any? declared in foo.bar.TensorProduct' type=kotlin.Any? origin=null
+                              TYPE_ARG A: A of foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv
+                              ARG <this>: GET_FIELD 'FIELD DELEGATE name:$$delegate_0 type:foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> visibility:private [final] declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>' type=foo.bar.TensorProduct<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity> origin=null
+                                receiver: GET_VAR '<this>: foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv' type=foo.bar.toNormalMonad.<anonymous>.<no name provided><M of foo.bar.toNormalMonad> origin=null
+                              ARG a: GET_VAR 'a: kotlin.Any? declared in foo.bar.toNormalMonad.<anonymous>.<no name provided>.rightUnitorInv' type=kotlin.Any? origin=null
+                      FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
+                        VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
+                        overridden:
+                          public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in foo.bar.MonoidObject
+                          public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in foo.bar.TensorProduct
+                      FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
+                        overridden:
+                          public open fun hashCode (): kotlin.Int declared in foo.bar.MonoidObject
+                          public open fun hashCode (): kotlin.Int declared in foo.bar.TensorProduct
+                      FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
+                        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
+                        overridden:
+                          public open fun toString (): kotlin.String declared in foo.bar.MonoidObject
+                          public open fun toString (): kotlin.String declared in foo.bar.TensorProduct
                       PROPERTY DELEGATED_MEMBER name:firstCategory visibility:public modality:OPEN [val]
                         overridden:
                           public abstract firstCategory: foo.bar.Category<kotlin.Any?> declared in foo.bar.MonoidObject
@@ -2813,7 +2829,7 @@ FILE fqName:foo.bar fileName:/category.kt
                     TYPE_ARG T: foo.bar.Functor<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, M of foo.bar.toUsualMonad>
                     TYPE_ARG R: kotlin.Any?
                     ARG with: CALL 'public abstract fun <get-secondFunctor> (): foo.bar.Functor<C of foo.bar.Nat, D of foo.bar.Nat, G of foo.bar.Nat> declared in foo.bar.Nat' type=foo.bar.Functor<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, M of foo.bar.toUsualMonad> origin=GET_PROPERTY
-                      ARG <this>: CALL 'public abstract fun plus (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, kotlin.Any?, M of foo.bar.toUsualMonad> origin=null
+                      ARG <this>: CALL 'public abstract fun <get-plus> (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, kotlin.Any?, M of foo.bar.toUsualMonad> origin=GET_PROPERTY
                         ARG <this>: GET_VAR '<this>: foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> declared in foo.bar.toUsualMonad' type=foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> origin=IMPLICIT_ARGUMENT
                     ARG block: FUN_EXPR type=kotlin.Function1<foo.bar.Functor<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, M of foo.bar.toUsualMonad>, kotlin.Any?> origin=LAMBDA
                       FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
@@ -2834,7 +2850,7 @@ FILE fqName:foo.bar fileName:/category.kt
                             CALL 'public abstract fun invoke (p1: P1 of kotlin.Function1): R of kotlin.Function1 declared in kotlin.Function1' type=kotlin.Any? origin=INVOKE
                               ARG <this>: CALL 'public abstract fun get <A> (c: kotlin.Any?): kotlin.Any? declared in foo.bar.Nat' type=kotlin.Function1<kotlin.Any?, kotlin.Any?> origin=GET_ARRAY_ELEMENT
                                 TYPE_ARG A: B of foo.bar.toUsualMonad.<no name provided>.bind
-                                ARG <this>: CALL 'public abstract fun plus (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, kotlin.Any?, M of foo.bar.toUsualMonad> origin=null
+                                ARG <this>: CALL 'public abstract fun <get-plus> (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, kotlin.Any?, M of foo.bar.toUsualMonad> origin=GET_PROPERTY
                                   ARG <this>: GET_VAR '<this>: foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> declared in foo.bar.toUsualMonad' type=foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> origin=IMPLICIT_ARGUMENT
                                 ARG c: CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<B of foo.bar.toUsualMonad.<no name provided>.bind, B of foo.bar.toUsualMonad.<no name provided>.bind> origin=null
                                   TYPE_ARG A: B of foo.bar.toUsualMonad.<no name provided>.bind
@@ -2850,7 +2866,7 @@ FILE fqName:foo.bar fileName:/category.kt
                   CALL 'public abstract fun invoke (p1: P1 of kotlin.Function1): R of kotlin.Function1 declared in kotlin.Function1' type=kotlin.Any? origin=INVOKE
                     ARG <this>: CALL 'public abstract fun get <A> (c: kotlin.Any?): kotlin.Any? declared in foo.bar.Nat' type=kotlin.Function1<kotlin.Any?, kotlin.Any?> origin=GET_ARRAY_ELEMENT
                       TYPE_ARG A: A of foo.bar.toUsualMonad.<no name provided>.pure
-                      ARG <this>: CALL 'public abstract fun empty (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> origin=null
+                      ARG <this>: CALL 'public abstract fun <get-empty> (): kotlin.Any? declared in foo.bar.MonoidObject' type=foo.bar.Nat<io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> origin=GET_PROPERTY
                         ARG <this>: GET_VAR '<this>: foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> declared in foo.bar.toUsualMonad' type=foo.bar.MonoidObject<kotlin.Any?, io.github.kyay10.highkt.Constructor<kotlin.Any?>, io.github.kyay10.highkt.Identity, M of foo.bar.toUsualMonad> origin=IMPLICIT_ARGUMENT
                       ARG c: CALL 'public final fun idArrow <A> (): kotlin.Function1<A of foo.bar.idArrow, A of foo.bar.idArrow> declared in foo.bar' type=kotlin.Function1<A of foo.bar.toUsualMonad.<no name provided>.pure, A of foo.bar.toUsualMonad.<no name provided>.pure> origin=null
                         TYPE_ARG A: A of foo.bar.toUsualMonad.<no name provided>.pure
@@ -2942,6 +2958,50 @@ FILE fqName:foo.bar fileName:/category.kt
                       ARG <this>: GET_VAR 'other: foo.bar.Nat<C of foo.bar.vertical, D of foo.bar.vertical, F of foo.bar.vertical, G of foo.bar.vertical> declared in foo.bar.vertical' type=foo.bar.Nat<C of foo.bar.vertical, D of foo.bar.vertical, F of foo.bar.vertical, G of foo.bar.vertical> origin=null
                       ARG c: GET_VAR 'c: kotlin.Any? declared in foo.bar.vertical.<no name provided>.get' type=kotlin.Any? origin=null
           CONSTRUCTOR_CALL 'public constructor <init> () declared in foo.bar.vertical.<no name provided>' type=foo.bar.vertical.<no name provided><C of foo.bar.vertical, D of foo.bar.vertical, F of foo.bar.vertical, G of foo.bar.vertical, H of foo.bar.vertical> origin=OBJECT_LITERAL
+  PROPERTY name:source visibility:public modality:FINAL [val]
+    FUN name:<get-source> visibility:public modality:FINAL returnType:kotlin.Any?
+      TYPE_PARAMETER name:Cat index:0 variance: superTypes:[kotlin.Any?] reified:false
+      TYPE_PARAMETER name:A index:1 variance: superTypes:[kotlin.Any?] reified:false
+      VALUE_PARAMETER kind:Context name:category index:0 type:foo.bar.Category<Cat of foo.bar.<get-source>>
+      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+      correspondingProperty: PROPERTY name:source visibility:public modality:FINAL [val]
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public final fun <get-source> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-source>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar'
+          CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
+            TYPE_ARG T: foo.bar.Category<Cat of foo.bar.<get-source>>
+            TYPE_ARG R: kotlin.Any?
+            ARG receiver: GET_VAR 'category: foo.bar.Category<Cat of foo.bar.<get-source>> declared in foo.bar.<get-source>' type=foo.bar.Category<Cat of foo.bar.<get-source>> origin=null
+            ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.<get-source>>, kotlin.Any?> origin=LAMBDA
+              FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
+                VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.<get-source>>
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.<get-source>>): kotlin.Any? declared in foo.bar.<get-source>'
+                    CALL 'public abstract fun <get-source> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=GET_PROPERTY
+                      TYPE_ARG A: A of foo.bar.<get-source>
+                      ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.<get-source>> declared in foo.bar.<get-source>.<anonymous>' type=foo.bar.Category<Cat of foo.bar.<get-source>> origin=IMPLICIT_ARGUMENT
+                      ARG <this>(index:1): GET_VAR '<this>: kotlin.Any? declared in foo.bar.<get-source>' type=kotlin.Any? origin=null
+  PROPERTY name:target visibility:public modality:FINAL [val]
+    FUN name:<get-target> visibility:public modality:FINAL returnType:kotlin.Any?
+      TYPE_PARAMETER name:Cat index:0 variance: superTypes:[kotlin.Any?] reified:false
+      TYPE_PARAMETER name:A index:1 variance: superTypes:[kotlin.Any?] reified:false
+      VALUE_PARAMETER kind:Context name:category index:0 type:foo.bar.Category<Cat of foo.bar.<get-target>>
+      VALUE_PARAMETER kind:ExtensionReceiver name:<this> index:1 type:kotlin.Any?
+      correspondingProperty: PROPERTY name:target visibility:public modality:FINAL [val]
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public final fun <get-target> <Cat, A> (category: foo.bar.Category<Cat of foo.bar.<get-target>>, <this>: kotlin.Any?): kotlin.Any? declared in foo.bar'
+          CALL 'public final fun with <T, R> (receiver: T of kotlin.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.with, R of kotlin.with>): R of kotlin.with declared in kotlin' type=kotlin.Any? origin=null
+            TYPE_ARG T: foo.bar.Category<Cat of foo.bar.<get-target>>
+            TYPE_ARG R: kotlin.Any?
+            ARG receiver: GET_VAR 'category: foo.bar.Category<Cat of foo.bar.<get-target>> declared in foo.bar.<get-target>' type=foo.bar.Category<Cat of foo.bar.<get-target>> origin=null
+            ARG block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<foo.bar.Category<Cat of foo.bar.<get-target>>, kotlin.Any?> origin=LAMBDA
+              FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Any?
+                VALUE_PARAMETER kind:ExtensionReceiver name:$this$with index:0 type:foo.bar.Category<Cat of foo.bar.<get-target>>
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='local final fun <anonymous> ($this$with: foo.bar.Category<Cat of foo.bar.<get-target>>): kotlin.Any? declared in foo.bar.<get-target>'
+                    CALL 'public abstract fun <get-target> <A> (<this>: kotlin.Any?): kotlin.Any? declared in foo.bar.Category' type=kotlin.Any? origin=GET_PROPERTY
+                      TYPE_ARG A: A of foo.bar.<get-target>
+                      ARG <this>(index:0): GET_VAR '$this$with: foo.bar.Category<Cat of foo.bar.<get-target>> declared in foo.bar.<get-target>.<anonymous>' type=foo.bar.Category<Cat of foo.bar.<get-target>> origin=IMPLICIT_ARGUMENT
+                      ARG <this>(index:1): GET_VAR '<this>: kotlin.Any? declared in foo.bar.<get-target>' type=kotlin.Any? origin=null
   TYPEALIAS name:Arrow visibility:public expandedType:io.github.kyay10.highkt.Constructor<kotlin.Function1<*, *>>
   TYPEALIAS name:BiFunctor visibility:public expandedType:foo.bar.Functor<kotlin.Any?, E of foo.bar.BiFunctor, F of foo.bar.BiFunctor>
     TYPE_PARAMETER name:C index:0 variance: superTypes:[kotlin.Any?] reified:false
diff --git a/compiler-plugin/testData/box/category.fir.txt b/compiler-plugin/testData/box/category.fir.txt
index 062a310..104f1f3 100644
--- a/compiler-plugin/testData/box/category.fir.txt
+++ b/compiler-plugin/testData/box/category.fir.txt
@@ -5,9 +5,11 @@ FILE: category.kt
     public abstract interface Category<Cat> : R|kotlin/Any| {
         public abstract infix fun <A, B, C> R|{io/github/kyay10/highkt/K2<Cat, B, C>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, B>, C>|.compose(g: R|{io/github/kyay10/highkt/K2<Cat, A, B>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, B>|): R|{io/github/kyay10/highkt/K2<Cat, A, C>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, C>|
 
-        public abstract fun <A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.source(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+        public abstract val <A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+            public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
 
-        public abstract fun <A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.target(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+        public abstract val <A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+            public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
 
     }
     context(category: R|foo/bar/Category<Cat>|)
@@ -18,19 +20,21 @@ FILE: category.kt
         )
     }
     context(category: R|foo/bar/Category<Cat>|)
-    public final fun <Cat, A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.source(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
-        ^source R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/category|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
-            ^ (this@R|special/anonymous|, this@R|foo/bar/source|).R|SubstitutionOverride<foo/bar/Category.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>()
+    public final val <Cat, A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+        public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
+            ^ R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/category|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                ^ (this@R|special/anonymous|, this@R|foo/bar/source|).R|SubstitutionOverride<foo/bar/Category.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>
+            }
+            )
         }
-        )
-    }
     context(category: R|foo/bar/Category<Cat>|)
-    public final fun <Cat, A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.target(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
-        ^target R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/category|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
-            ^ (this@R|special/anonymous|, this@R|foo/bar/target|).R|SubstitutionOverride<foo/bar/Category.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>()
+    public final val <Cat, A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+        public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
+            ^ R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/category|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                ^ (this@R|special/anonymous|, this@R|foo/bar/target|).R|SubstitutionOverride<foo/bar/Category.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>
+            }
+            )
         }
-        )
-    }
     public final typealias Opposite<Cat, A, B> = R|{io/github/kyay10/highkt/K2<Cat, B, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, B>, A>|
     public final typealias Opp<Arr> = R|io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Opposite<*, *, *>>, Arr>|
     context(c: R|foo/bar/Category<Cat>|)
@@ -44,13 +48,21 @@ FILE: category.kt
                 ^compose context(R|<local>/c|) R|<local>/g|.R|foo/bar/compose|<R|Cat|, R|C|, R|B|, R|A|>(this@R|foo/bar/<anonymous>.compose|)
             }
 
-            public open override fun <A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.source(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
-                ^source context(R|<local>/c|) this@R|foo/bar/<anonymous>.source|.R|foo/bar/target|<R|Cat|, R|A|>()
-            }
+            public open override val <A> R|{io/github/kyay10/highkt/K2<Cat, *, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, *>, A>|.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+                public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
+                    ^ R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/c|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                        ^ (this@R|special/anonymous|, this@R|foo/bar/<anonymous>.source|).R|SubstitutionOverride<foo/bar/Category.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>
+                    }
+                    )
+                }
 
-            public open override fun <A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.target(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
-                ^target context(R|<local>/c|) this@R|foo/bar/<anonymous>.target|.R|foo/bar/source|<R|Cat|, R|A|>()
-            }
+            public open override val <A> R|{io/github/kyay10/highkt/K2<Cat, A, *>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, *>|.target: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|
+                public get(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| {
+                    ^ R|kotlin/with|<R|foo/bar/Category<Cat>|, R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>(R|<local>/c|, <L> = with@fun R|foo/bar/Category<Cat>|.<anonymous>(): R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                        ^ (this@R|special/anonymous|, this@R|foo/bar/<anonymous>.target|).R|SubstitutionOverride<foo/bar/Category.source: R|{foo/bar/Obj<Cat, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, A>, A>|>|<R|A|>
+                    }
+                    )
+                }
 
         }
 
@@ -74,13 +86,15 @@ FILE: category.kt
 
         }
 
-        public open override fun <A> R|(A) -> *|.source(): R|(A) -> A| {
-            ^source R|foo/bar/idArrow|<R|A|>()
-        }
+        public open override val <A> R|(A) -> *|.source: R|(A) -> A|
+            public get(): R|(A) -> A| {
+                ^ R|foo/bar/idArrow|<R|A|>()
+            }
 
-        public open override fun <A> R|(*) -> A|.target(): R|(A) -> A| {
-            ^target R|foo/bar/idArrow|<R|A|>()
-        }
+        public open override val <A> R|(*) -> A|.target: R|(A) -> A|
+            public get(): R|(A) -> A| {
+                ^ R|foo/bar/idArrow|<R|A|>()
+            }
 
     }
     public final typealias TypePaired<A, B, F> = R|{io/github/kyay10/highkt/K2<F, A, B>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<F, A>, B>|
@@ -102,13 +116,15 @@ FILE: category.kt
                 ^compose context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.compose|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<PB>, foo/bar/TypePairFirst<PC>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<PB>>, foo/bar/TypePairFirst<PC>>|>|.R|foo/bar/compose|<R|C1|, R|{foo/bar/TypePairFirst<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|, R|{foo/bar/TypePairFirst<PB>=} io/github/kyay10/highkt/K<PB, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|, R|{foo/bar/TypePairFirst<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|>(R|<local>/g|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<PA>, foo/bar/TypePairFirst<PB>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<PA>>, foo/bar/TypePairFirst<PB>>|>|).R|kotlin/to|<R|{io/github/kyay10/highkt/K2<C1, {foo/bar/TypePairFirst<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>, {foo/bar/TypePairFirst<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>|, R|{io/github/kyay10/highkt/K2<C2, {foo/bar/TypePairSecond<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>, {foo/bar/TypePairSecond<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>|>(context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.compose|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<PB>, foo/bar/TypePairSecond<PC>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<PB>>, foo/bar/TypePairSecond<PC>>|>|.R|foo/bar/compose|<R|C2|, R|{foo/bar/TypePairSecond<PA>=} io/github/kyay10/highkt/K<PA, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|, R|{foo/bar/TypePairSecond<PB>=} io/github/kyay10/highkt/K<PB, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|, R|{foo/bar/TypePairSecond<PC>=} io/github/kyay10/highkt/K<PC, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|>(R|<local>/g|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<PA>, foo/bar/TypePairSecond<PB>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<PA>>, foo/bar/TypePairSecond<PB>>|>|))
             }
 
-            public open override fun <P> R|{foo/bar/MorphismProduct<C1, C2, P, *>=} kotlin/Pair<{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<P>, foo/bar/TypePairFirst<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<P>>, foo/bar/TypePairFirst<*>>, {io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<P>, foo/bar/TypePairSecond<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<P>>, foo/bar/TypePairSecond<*>>>|.source(): R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>| {
-                ^source context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<P>, foo/bar/TypePairFirst<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<P>>, foo/bar/TypePairFirst<*>>|>|.R|foo/bar/source|<R|C1|, R|{foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|>().R|kotlin/to|<R|{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>|, R|{foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>|>(context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<P>, foo/bar/TypePairSecond<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<P>>, foo/bar/TypePairSecond<*>>|>|.R|foo/bar/source|<R|C2|, R|{foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|>())
-            }
+            public open override val <P> R|{foo/bar/MorphismProduct<C1, C2, P, *>=} kotlin/Pair<{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<P>, foo/bar/TypePairFirst<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<P>>, foo/bar/TypePairFirst<*>>, {io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<P>, foo/bar/TypePairSecond<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<P>>, foo/bar/TypePairSecond<*>>>|.source: R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>|
+                public get(): R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>| {
+                    ^ context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<P>, foo/bar/TypePairFirst<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<P>>, foo/bar/TypePairFirst<*>>|>|.R|foo/bar/source|<R|C1|, R|{foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|>.R|kotlin/to|<R|{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>|, R|{foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>|>(context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<P>, foo/bar/TypePairSecond<*>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<P>>, foo/bar/TypePairSecond<*>>|>|.R|foo/bar/source|<R|C2|, R|{foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|>)
+                }
 
-            public open override fun <P> R|{foo/bar/MorphismProduct<C1, C2, *, P>=} kotlin/Pair<{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<*>, foo/bar/TypePairFirst<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<*>>, foo/bar/TypePairFirst<P>>, {io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<*>, foo/bar/TypePairSecond<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<*>>, foo/bar/TypePairSecond<P>>>|.target(): R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>| {
-                ^target context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<*>, foo/bar/TypePairFirst<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<*>>, foo/bar/TypePairFirst<P>>|>|.R|foo/bar/target|<R|C1|, R|{foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|>().R|kotlin/to|<R|{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>|, R|{foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>|>(context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<*>, foo/bar/TypePairSecond<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<*>>, foo/bar/TypePairSecond<P>>|>|.R|foo/bar/target|<R|C2|, R|{foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|>())
-            }
+            public open override val <P> R|{foo/bar/MorphismProduct<C1, C2, *, P>=} kotlin/Pair<{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<*>, foo/bar/TypePairFirst<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<*>>, foo/bar/TypePairFirst<P>>, {io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<*>, foo/bar/TypePairSecond<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<*>>, foo/bar/TypePairSecond<P>>>|.target: R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>|
+                public get(): R|kotlin/Pair<{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>>| {
+                    ^ context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<kotlin/Pair.first: R|{io/github/kyay10/highkt/K2<C1, foo/bar/TypePairFirst<*>, foo/bar/TypePairFirst<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, foo/bar/TypePairFirst<*>>, foo/bar/TypePairFirst<P>>|>|.R|foo/bar/target|<R|C1|, R|{foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>|>.R|kotlin/to|<R|{foo/bar/Obj<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C1, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>, {foo/bar/TypePairFirst<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedFirst<*, *>>>>|, R|{foo/bar/Obj<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>, {foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>>|>(context(R|<local>/<unused var>|) this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<kotlin/Pair.second: R|{io/github/kyay10/highkt/K2<C2, foo/bar/TypePairSecond<*>, foo/bar/TypePairSecond<P>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C2, foo/bar/TypePairSecond<*>>, foo/bar/TypePairSecond<P>>|>|.R|foo/bar/target|<R|C2|, R|{foo/bar/TypePairSecond<P>=} io/github/kyay10/highkt/K<P, io/github/kyay10/highkt/Constructor<foo/bar/TypePairedSecond<*, *>>>|>)
+                }
 
         }
 
@@ -188,7 +204,7 @@ FILE: category.kt
     public final typealias NatK<C, D> = R|{io/github/kyay10/highkt/K2<io/github/kyay10/highkt/Constructor<foo/bar/Nat<*, *, *, *>>, C, D>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Nat<*, *, *, *>>, C>, D>|
     public final fun <C, D, F, G, A, B> R|foo/bar/Nat<C, D, F, G>|.at(h: R|{io/github/kyay10/highkt/K2<C, A, B>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<C, A>, B>|): R|{io/github/kyay10/highkt/K2<D, io/github/kyay10/highkt/K<F, A>, io/github/kyay10/highkt/K<G, B>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<D, io/github/kyay10/highkt/K<F, A>>, io/github/kyay10/highkt/K<G, B>>| {
         ^at R|kotlin/context|<R|foo/bar/Functor<C, D, F>|, R|foo/bar/Category<C>|, R|foo/bar/Category<D>|, R|{io/github/kyay10/highkt/K2<D, io/github/kyay10/highkt/K<F, A>, io/github/kyay10/highkt/K<G, B>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<D, io/github/kyay10/highkt/K<F, A>>, io/github/kyay10/highkt/K<G, B>>|>(this@R|foo/bar/at|.R|SubstitutionOverride<foo/bar/Nat.firstFunctor: R|foo/bar/Functor<C, D, F>|>|, this@R|foo/bar/at|.R|SubstitutionOverride<foo/bar/Nat.firstFunctor: R|foo/bar/Functor<C, D, F>|>|.R|SubstitutionOverride<foo/bar/Functor.firstCategory: R|foo/bar/Category<C>|>|, this@R|foo/bar/at|.R|SubstitutionOverride<foo/bar/Nat.firstFunctor: R|foo/bar/Functor<C, D, F>|>|.R|SubstitutionOverride<foo/bar/Functor.secondCategory: R|foo/bar/Category<D>|>|, <L> = context(<unused var>: R|foo/bar/Functor<C, D, F>|, <unused var>: R|foo/bar/Category<C>|, <unused var>: R|foo/bar/Category<D>|) context@fun <anonymous>(): R|{io/github/kyay10/highkt/K2<D, io/github/kyay10/highkt/K<F, A>, io/github/kyay10/highkt/K<G, B>>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<D, io/github/kyay10/highkt/K<F, A>>, io/github/kyay10/highkt/K<G, B>>| <inline=Inline, kind=EXACTLY_ONCE>  {
-            ^ context(R|<local>/<unused var>|) this@R|foo/bar/at|.R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<D, F, G, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<D, io/github/kyay10/highkt/K<F, A>>, io/github/kyay10/highkt/K<G, A>>|>|<R|B|>(context(R|<local>/<unused var>|) R|<local>/h|.R|foo/bar/target|<R|C|, R|B|>()).R|foo/bar/compose|<R|D|, R|io/github/kyay10/highkt/K<F, A>|, R|io/github/kyay10/highkt/K<F, B>|, R|io/github/kyay10/highkt/K<G, B>|>(context(R|<local>/<unused var>|) R|foo/bar/lift|<R|C|, R|D|, R|F|, R|A|, R|B|>(R|<local>/h|))
+            ^ context(R|<local>/<unused var>|) this@R|foo/bar/at|.R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<D, F, G, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<D, io/github/kyay10/highkt/K<F, A>>, io/github/kyay10/highkt/K<G, A>>|>|<R|B|>(context(R|<local>/<unused var>|) R|<local>/h|.R|foo/bar/target|<R|C|, R|B|>).R|foo/bar/compose|<R|D|, R|io/github/kyay10/highkt/K<F, A>|, R|io/github/kyay10/highkt/K<F, B>|, R|io/github/kyay10/highkt/K<G, B>|>(context(R|<local>/<unused var>|) R|foo/bar/lift|<R|C|, R|D|, R|F|, R|A|, R|B|>(R|<local>/h|))
         }
         )
     }
@@ -305,19 +321,21 @@ FILE: category.kt
                 ^compose context(R|<local>/cd|) this@R|foo/bar/<anonymous>.compose|.R|foo/bar/vertical|<R|C|, R|D|, R|F|, R|G|, R|H|>(R|<local>/g|)
             }
 
-            public open override fun <F> R|foo/bar/Nat<C, D, F, *>|.source(): R|foo/bar/Iso<C, D, F, F>| {
-                ^source R|kotlin/context|<R|foo/bar/Functor<C, D, F>|, R|foo/bar/Iso<C, D, F, F>|>(this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<foo/bar/Nat.firstFunctor: R|foo/bar/Functor<C, D, F>|>|, <L> = context(<unused var>: R|foo/bar/Functor<C, D, F>|) context@fun <anonymous>(): R|foo/bar/Iso<C, D, F, F>| <inline=Inline, kind=EXACTLY_ONCE>  {
-                    ^ context(R|<local>/<unused var>|) R|foo/bar/identityNat|<R|C|, R|D|, R|F|>()
+            public open override val <F> R|foo/bar/Nat<C, D, F, *>|.source: R|foo/bar/Iso<C, D, F, F>|
+                public get(): R|foo/bar/Iso<C, D, F, F>| {
+                    ^ R|kotlin/context|<R|foo/bar/Functor<C, D, F>|, R|foo/bar/Iso<C, D, F, F>|>(this@R|foo/bar/<anonymous>.source|.R|SubstitutionOverride<foo/bar/Nat.firstFunctor: R|foo/bar/Functor<C, D, F>|>|, <L> = context(<unused var>: R|foo/bar/Functor<C, D, F>|) context@fun <anonymous>(): R|foo/bar/Iso<C, D, F, F>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                        ^ context(R|<local>/<unused var>|) R|foo/bar/identityNat|<R|C|, R|D|, R|F|>()
+                    }
+                    )
                 }
-                )
-            }
 
-            public open override fun <F> R|foo/bar/Nat<C, D, *, F>|.target(): R|foo/bar/Iso<C, D, F, F>| {
-                ^target R|kotlin/context|<R|foo/bar/Functor<C, D, F>|, R|foo/bar/Iso<C, D, F, F>|>(this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<foo/bar/Nat.secondFunctor: R|foo/bar/Functor<C, D, F>|>|, <L> = context(<unused var>: R|foo/bar/Functor<C, D, F>|) context@fun <anonymous>(): R|foo/bar/Iso<C, D, F, F>| <inline=Inline, kind=EXACTLY_ONCE>  {
-                    ^ context(R|<local>/<unused var>|) R|foo/bar/identityNat|<R|C|, R|D|, R|F|>()
+            public open override val <F> R|foo/bar/Nat<C, D, *, F>|.target: R|foo/bar/Iso<C, D, F, F>|
+                public get(): R|foo/bar/Iso<C, D, F, F>| {
+                    ^ R|kotlin/context|<R|foo/bar/Functor<C, D, F>|, R|foo/bar/Iso<C, D, F, F>|>(this@R|foo/bar/<anonymous>.target|.R|SubstitutionOverride<foo/bar/Nat.secondFunctor: R|foo/bar/Functor<C, D, F>|>|, <L> = context(<unused var>: R|foo/bar/Functor<C, D, F>|) context@fun <anonymous>(): R|foo/bar/Iso<C, D, F, F>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                        ^ context(R|<local>/<unused var>|) R|foo/bar/identityNat|<R|C|, R|D|, R|F|>()
+                    }
+                    )
                 }
-                )
-            }
 
         }
 
@@ -533,9 +551,11 @@ FILE: category.kt
 
     }
     public abstract interface MonoidObject<Cat, F, I, A> : R|foo/bar/TensorProduct<Cat, F, I>| {
-        public abstract fun empty(): R|{io/github/kyay10/highkt/K2<Cat, I, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, I>, A>|
+        public abstract val empty: R|{io/github/kyay10/highkt/K2<Cat, I, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, I>, A>|
+            public get(): R|{io/github/kyay10/highkt/K2<Cat, I, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, I>, A>|
 
-        public abstract fun plus(): R|{io/github/kyay10/highkt/K2<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>>, A>|
+        public abstract val plus: R|{io/github/kyay10/highkt/K2<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>>, A>|
+            public get(): R|{io/github/kyay10/highkt/K2<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<Cat, io/github/kyay10/highkt/K<F, {foo/bar/TypePair<A, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, A>, A>>>, A>|
 
     }
     public final typealias Monad<C, F> = R|foo/bar/MonoidObject<foo/bar/EndoK<C>, foo/bar/FunctorComposeK, io/github/kyay10/highkt/Identity, F>|
@@ -553,13 +573,13 @@ FILE: category.kt
             }
 
             public open override fun <A> pure(a: R|A|): R|io/github/kyay10/highkt/K<M, A>| {
-                ^pure this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.empty: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/Identity, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/Identity>, M>|>|().R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<foo/bar/Arrow, io/github/kyay10/highkt/Identity, M, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/Arrow, io/github/kyay10/highkt/K<io/github/kyay10/highkt/Identity, A>>, io/github/kyay10/highkt/K<M, A>>|>|<R|A|>(R|foo/bar/idArrow|<R|A|>()).R|SubstitutionOverride<kotlin/Function1.invoke: R|io/github/kyay10/highkt/K<M, A>|>|(R|<local>/a|)
+                ^pure this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.empty: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/Identity, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/Identity>, M>|>|.R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<foo/bar/Arrow, io/github/kyay10/highkt/Identity, M, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/Arrow, io/github/kyay10/highkt/K<io/github/kyay10/highkt/Identity, A>>, io/github/kyay10/highkt/K<M, A>>|>|<R|A|>(R|foo/bar/idArrow|<R|A|>()).R|SubstitutionOverride<kotlin/Function1.invoke: R|io/github/kyay10/highkt/K<M, A>|>|(R|<local>/a|)
             }
 
             public open override fun <A, B> R|io/github/kyay10/highkt/K<M, A>|.bind(f: R|(A) -> io/github/kyay10/highkt/K<M, B>|): R|io/github/kyay10/highkt/K<M, B>| {
-                ^bind R|kotlin/context|<R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|, R|io/github/kyay10/highkt/K<M, B>|>(this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.plus: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>>, M>|>|().R|SubstitutionOverride<foo/bar/Nat.secondFunctor: R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|>|, <L> = context(<unused var>: R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|) context@fun <anonymous>(): R|io/github/kyay10/highkt/K<M, B>| <inline=Inline, kind=EXACTLY_ONCE>  {
+                ^bind R|kotlin/context|<R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|, R|io/github/kyay10/highkt/K<M, B>|>(this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.plus: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>>, M>|>|.R|SubstitutionOverride<foo/bar/Nat.secondFunctor: R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|>|, <L> = context(<unused var>: R|foo/bar/Functor<foo/bar/Arrow, foo/bar/Arrow, M>|) context@fun <anonymous>(): R|io/github/kyay10/highkt/K<M, B>| <inline=Inline, kind=EXACTLY_ONCE>  {
                     lval mapped: R|io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, B>>| = context(R|<local>/<unused var>|) R|foo/bar/lift|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|M|, R|A|, R|io/github/kyay10/highkt/K<M, B>|>(R|<local>/f|).R|SubstitutionOverride<kotlin/Function1.invoke: R|io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, B>>|>|(this@R|foo/bar/<anonymous>.bind|)
-                    ^ this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.plus: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>>, M>|>|().R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<foo/bar/Arrow, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/Arrow, io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, A>>, io/github/kyay10/highkt/K<M, A>>|>|<R|B|>(R|foo/bar/idArrow|<R|B|>()).R|SubstitutionOverride<kotlin/Function1.invoke: R|io/github/kyay10/highkt/K<M, B>|>|(R|<local>/mapped|)
+                    ^ this@R|foo/bar/toUsualMonad|.R|SubstitutionOverride<foo/bar/MonoidObject.plus: R|{io/github/kyay10/highkt/K2<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/EndoK<foo/bar/Arrow>, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>>, M>|>|.R|SubstitutionOverride<foo/bar/Nat.get: R|{foo/bar/Component<foo/bar/Arrow, io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, M, A>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/Arrow, io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<foo/bar/FunctorComposeK, {foo/bar/TypePair<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/TypePaired<*, *, *>>, M>, M>>, A>>, io/github/kyay10/highkt/K<M, A>>|>|<R|B|>(R|foo/bar/idArrow|<R|B|>()).R|SubstitutionOverride<kotlin/Function1.invoke: R|io/github/kyay10/highkt/K<M, B>|>|(R|<local>/mapped|)
                 }
                 )
             }
@@ -601,55 +621,53 @@ FILE: category.kt
 
                 private final field $$delegate_0: R|foo/bar/TensorProduct<foo/bar/EndoK<foo/bar/Arrow>, foo/bar/FunctorComposeK, io/github/kyay10/highkt/Identity>| = context(R|<local>/<unused var>|) R|foo/bar/endoFunctorComposeTensor|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|>()
 
-                public open override fun empty(): R|foo/bar/<anonymous><M>| {
-                    ^empty object : R|foo/bar/Nat<foo/bar/Arrow, foo/bar/Arrow, io/github/kyay10/highkt/Identity, M>| {
-                        private constructor(): R|foo/bar/<anonymous><M>| {
-                            super<R|kotlin/Any|>()
-                        }
+                public open override val empty: R|foo/bar/<anonymous><M>| = object : R|foo/bar/Nat<foo/bar/Arrow, foo/bar/Arrow, io/github/kyay10/highkt/Identity, M>| {
+                    private constructor(): R|foo/bar/<anonymous><M>| {
+                        super<R|kotlin/Any|>()
+                    }
 
-                        public open override val firstFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, io/github/kyay10/highkt/Identity>| = context(R|<local>/<unused var>|) R|foo/bar/identityFunctor|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|>()
-                            public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, io/github/kyay10/highkt/Identity>|
+                    public open override val firstFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, io/github/kyay10/highkt/Identity>| = context(R|<local>/<unused var>|) R|foo/bar/identityFunctor|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|>()
+                        public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, io/github/kyay10/highkt/Identity>|
 
-                        public open override val secondFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>| = context(R|<local>/<unused var>|) R|kotlin/contextOf|<R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|>()
-                            public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|
-
-                        public open override operator fun <A> get(c: R|(A) -> A|): R|(A) -> io/github/kyay10/highkt/K<M, A>| {
-                            ^get context@fun <anonymous>(a: R|A|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
-                                ^ this@R|foo/bar/toNormalMonad|.R|SubstitutionOverride<foo/bar/UsualMonad.pure: R|io/github/kyay10/highkt/K<M, A>|>|<R|A|>(R|<local>/a|)
-                            }
+                    public open override val secondFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>| = context(R|<local>/<unused var>|) R|kotlin/contextOf|<R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|>()
+                        public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|
 
+                    public open override operator fun <A> get(c: R|(A) -> A|): R|(A) -> io/github/kyay10/highkt/K<M, A>| {
+                        ^get fun <anonymous>(a: R|A|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
+                            ^ this@R|foo/bar/toNormalMonad|.R|SubstitutionOverride<foo/bar/UsualMonad.pure: R|io/github/kyay10/highkt/K<M, A>|>|<R|A|>(R|<local>/a|)
                         }
 
                     }
 
                 }
 
-                public open override fun plus(): R|foo/bar/<anonymous><M>| {
-                    ^plus object : R|foo/bar/Nat<foo/bar/Arrow, foo/bar/Arrow, foo/bar/Compose<M, M>, M>| {
-                        private constructor(): R|foo/bar/<anonymous><M>| {
-                            super<R|kotlin/Any|>()
-                        }
+                    public get(): R|foo/bar/<anonymous><M>|
 
-                        public open override val firstFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Compose<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Composition<*, *, *>>, M>, M>>| = context(R|<local>/<unused var>|, R|<local>/<unused var>|) R|foo/bar/composeFunctors|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|M|, R|M|>()
-                            public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Compose<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Composition<*, *, *>>, M>, M>>|
+                public open override val plus: R|foo/bar/<anonymous><M>| = object : R|foo/bar/Nat<foo/bar/Arrow, foo/bar/Arrow, foo/bar/Compose<M, M>, M>| {
+                    private constructor(): R|foo/bar/<anonymous><M>| {
+                        super<R|kotlin/Any|>()
+                    }
 
-                        public open override val secondFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>| = context(R|<local>/<unused var>|) R|kotlin/contextOf|<R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|>()
-                            public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|
+                    public open override val firstFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Compose<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Composition<*, *, *>>, M>, M>>| = context(R|<local>/<unused var>|, R|<local>/<unused var>|) R|foo/bar/composeFunctors|<R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>|, R|M|, R|M|>()
+                        public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Compose<M, M>=} io/github/kyay10/highkt/K<io/github/kyay10/highkt/K<io/github/kyay10/highkt/Constructor<foo/bar/Composition<*, *, *>>, M>, M>>|
 
-                        public open override operator fun <A> get(c: R|(A) -> A|): R|(io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, A>>) -> io/github/kyay10/highkt/K<M, A>| {
-                            ^get context@fun <anonymous>(mma: R|io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, A>>|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
-                                ^ (this@R|foo/bar/toNormalMonad|, R|<local>/mma|).R|SubstitutionOverride<foo/bar/UsualMonad.bind: R|io/github/kyay10/highkt/K<M, B>|>|<R|io/github/kyay10/highkt/K<M, A>|, R|A|>(<L> = bind@fun <anonymous>(ma: R|io/github/kyay10/highkt/K<M, A>|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
-                                    ^ R|<local>/ma|
-                                }
-                                )
-                            }
+                    public open override val secondFunctor: R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>| = context(R|<local>/<unused var>|) R|kotlin/contextOf|<R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|>()
+                        public get(): R|foo/bar/Functor<{foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, {foo/bar/Arrow=} io/github/kyay10/highkt/Constructor<(*) -> *>, M>|
 
+                    public open override operator fun <A> get(c: R|(A) -> A|): R|(io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, A>>) -> io/github/kyay10/highkt/K<M, A>| {
+                        ^get fun <anonymous>(mma: R|io/github/kyay10/highkt/K<M, io/github/kyay10/highkt/K<M, A>>|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
+                            ^ (this@R|foo/bar/toNormalMonad|, R|<local>/mma|).R|SubstitutionOverride<foo/bar/UsualMonad.bind: R|io/github/kyay10/highkt/K<M, B>|>|<R|io/github/kyay10/highkt/K<M, A>|, R|A|>(<L> = bind@fun <anonymous>(ma: R|io/github/kyay10/highkt/K<M, A>|): R|io/github/kyay10/highkt/K<M, A>| <inline=NoInline>  {
+                                ^ R|<local>/ma|
+                            }
+                            )
                         }
 
                     }
 
                 }
 
+                    public get(): R|foo/bar/<anonymous><M>|
+
             }
 
         }
diff --git a/compiler-plugin/testData/box/category.kt b/compiler-plugin/testData/box/category.kt
index a30a82f..efc1f39 100644
--- a/compiler-plugin/testData/box/category.kt
+++ b/compiler-plugin/testData/box/category.kt
@@ -10,18 +10,18 @@ typealias Obj<Cat, A> = K2<Cat, A, A>
 
 interface Category<Cat> {
   infix fun <A, B, C> K2<Cat, B, C>.compose(g: K2<Cat, A, B>): K2<Cat, A, C>
-  fun <A> K2<Cat, A, *>.source(): Obj<Cat, A>
-  fun <A> K2<Cat, *, A>.target(): Obj<Cat, A>
+  val <A> K2<Cat, A, *>.source: Obj<Cat, A>
+  val <A> K2<Cat, *, A>.target: Obj<Cat, A>
 }
 
 context(category: Category<Cat>)
 infix fun <Cat, A, B, C> K2<Cat, B, C>.compose(g: K2<Cat, A, B>) = with(category) { this@compose.compose(g) }
 
 context(category: Category<Cat>)
-fun <Cat, A> K2<Cat, A, *>.source() = with(category) { this@source.source<A>() }
+val <Cat, A> K2<Cat, A, *>.source get() = with(category) { this@source.source }
 
 context(category: Category<Cat>)
-fun <Cat, A> K2<Cat, *, A>.target() = with(category) { this@target.target<A>() }
+val <Cat, A> K2<Cat, *, A>.target get() = with(category) { this@target.target }
 
 typealias Opposite<Cat, A, B> = K2<Cat, B, A>
 typealias Opp<Arr> = K<Constructor<Opposite<*, *, *>>, Arr>
@@ -29,8 +29,8 @@ typealias Opp<Arr> = K<Constructor<Opposite<*, *, *>>, Arr>
 context(c: Category<Cat>)
 fun <Cat> oppositeCategory(): Category<Opp<Cat>> = object : Category<Opp<Cat>> {
   override fun <A, B, C> K2<Cat, C, B>.compose(g: K2<Cat, B, A>) = g compose this
-  override fun <A> K2<Cat, *, A>.source() = target<Cat, _>()
-  override fun <A> K2<Cat, A, *>.target() = source<Cat, _>()
+  override val <A> K2<Cat, *, A>.source get() = with(c) { this@source.target }
+  override val <A> K2<Cat, A, *>.target get() = with(c) { this@target.source }
 }
 
 typealias Arrow = Constructor<Function1<*, *>>
@@ -40,8 +40,8 @@ fun <A> idArrow() = { a: A -> a }
 object ArrowCategory : Category<Arrow> {
   override fun <A, B, C> ((B) -> C).compose(g: (A) -> B) = { a: A -> this(g(a)) }
 
-  override fun <A> Function1<A, *>.source() = idArrow<A>()
-  override fun <A> Function1<*, A>.target() = idArrow<A>()
+  override val <A> Function1<A, *>.source get() = idArrow<A>()
+  override val <A> Function1<*, A>.target get() = idArrow<A>()
 }
 
 typealias TypePaired<A, B, F> = K2<F, A, B>
@@ -61,9 +61,9 @@ fun <C1, C2> productCategory(): Category<Product<C1, C2>> = object : Category<Pr
   override fun <PA, PB, PC> MorphismProduct<C1, C2, PB, PC>.compose(g: MorphismProduct<C1, C2, PA, PB>) =
     first.compose(g.first) to second.compose(g.second)
 
-  override fun <P> MorphismProduct<C1, C2, P, *>.source() = first.source() to second.source()
+  override val <P> MorphismProduct<C1, C2, P, *>.source get() = first.source to second.source
 
-  override fun <P> MorphismProduct<C1, C2, *, P>.target() = first.target() to second.target()
+  override val <P> MorphismProduct<C1, C2, *, P>.target get() = first.target to second.target
 }
 
 interface Functor<C, D, F> {
@@ -106,7 +106,7 @@ typealias NatK<C, D> = K2<Constructor<Nat<*, *, *, *>>, C, D>
 
 fun <C, D, F, G, A, B> Nat<C, D, F, G>.at(h: K2<C, A, B>) =
   context(firstFunctor, firstFunctor.firstCategory, firstFunctor.secondCategory) {
-    get(h.target()) compose lift(h)
+    get(h.target) compose lift(h)
   }
 
 typealias Endo<C, F, G> = Nat<C, C, F, G>
@@ -164,8 +164,8 @@ context(cd: Category<D>)
 fun <C, D> functorCategory(): Category<NatK<C, D>> = object : Category<NatK<C, D>> {
   override fun <F, G, H> Nat<C, D, G, H>.compose(g: Nat<C, D, F, G>) = this vertical g
 
-  override fun <F> Nat<C, D, F, *>.source() = context(firstFunctor) { identityNat() }
-  override fun <F> Nat<C, D, *, F>.target() = context(secondFunctor) { identityNat() }
+  override val <F> Nat<C, D, F, *>.source get() = context(firstFunctor) { identityNat() }
+  override val <F> Nat<C, D, *, F>.target get() = context(secondFunctor) { identityNat() }
 }
 
 typealias FunctorCompose<P> = Compose<TypePairFirst<P>, TypePairSecond<P>>
@@ -277,8 +277,8 @@ fun <Cat> endoFunctorComposeTensor(): TensorProduct<EndoK<Cat>, FunctorComposeK,
   }
 
 interface MonoidObject<Cat, F, I, A> : TensorProduct<Cat, F, I> {
-  fun empty(): K2<Cat, I, A>
-  fun plus(): K2<Cat, K<F, TypePair<A, A>>, A>
+  val empty: K2<Cat, I, A>
+  val plus: K2<Cat, K<F, TypePair<A, A>>, A>
 }
 
 typealias Monad<C, F> = MonoidObject<EndoK<C>, FunctorComposeK, Identity, F>
@@ -290,10 +290,10 @@ interface UsualMonad<M> {
 }
 
 fun <M> NormalMonad<M>.toUsualMonad(): UsualMonad<M> = object : UsualMonad<M> {
-  override fun <A> pure(a: A) = empty()[idArrow<A>()](a)
-  override fun <A, B> K<M, A>.bind(f: (A) -> K<M, B>) = context(plus().secondFunctor) {
+  override fun <A> pure(a: A) = empty[idArrow<A>()](a)
+  override fun <A, B> K<M, A>.bind(f: (A) -> K<M, B>) = context(plus.secondFunctor) {
     val mapped = lift(f)(this)
-    plus()[idArrow<B>()](mapped)
+    plus[idArrow<B>()](mapped)
   }
 }
 
@@ -306,13 +306,13 @@ fun <M> UsualMonad<M>.toNormalFunctor(): Functor<Arrow, Arrow, M> = object : Fun
 fun <M> UsualMonad<M>.toNormalMonad(): NormalMonad<M> = context(toNormalFunctor(), ArrowCategory) {
   object : NormalMonad<M>,
     TensorProduct<EndoK<Arrow>, FunctorComposeK, Identity> by endoFunctorComposeTensor<Arrow>() {
-    override fun empty() = object : Nat<Arrow, Arrow, Identity, M> {
+    override val empty = object : Nat<Arrow, Arrow, Identity, M> {
       override val firstFunctor = identityFunctor<Arrow>()
       override val secondFunctor = contextOf<Functor<Arrow, Arrow, M>>()
       override fun <A> get(c: (A) -> A) = { a: A -> pure(a) }
     }
 
-    override fun plus() = object : Nat<Arrow, Arrow, Compose<M, M>, M> {
+    override val plus = object : Nat<Arrow, Arrow, Compose<M, M>, M> {
       override val firstFunctor = composeFunctors<Arrow, Arrow, Arrow, M, M>()
       override val secondFunctor = contextOf<Functor<Arrow, Arrow, M>>()
       override fun <A> get(c: (A) -> A) = { mma: K<M, K<M, A>> -> mma.bind { ma -> ma } }