<@U4UGS5FC7> the reason why the protobufs are nece...

# arrow

[Eugenio]

@raulraja the reason why the protobufs are necessary is because the JVM class reprentation is either lacking the extra Kotlin information or doesn't correctly represent the original Kotlin types (like when using @JvmName)