the derivation may require an annotation processor...

# arrow

[raulraja]

the derivation may require an annotation processor since there is no inductive implicit resolution as you said and the Kotlin compiler can't represent path dependent types which are used in shapeless for the Repr and other types that are materialized on expansion.