A modern programming language that makes developers happier.

kotlinlang

implicit_cast_for_kinded_values_replaces___fix___.kt

`implicitly casted` means the typeChecker calls the `fix` when realizing the two type is isomorphic?

looks awesome btw! :slightly_smiling_face: I didn’t realize we can have that much control

Implicitly casted means the type checker overrides isSubtype and considers both type comparing the same

But there is not extra bytecode generated for the implicit cast because we have the certainty that nobody else extends OptionOf

<https://github.com/47deg/arrow-meta-prototype/blob/9b191564cfec14dbe8d10ba20351529b7b70cbb4/compiler-plugin/src/main/kotlin/arrow/meta/utils/KindAwareTypeChecker.kt#L16>