does arrow provide any facilities for typeclass in...

# arrow

[Luke Rohde]

does arrow provide any facilities for typeclass instance derivation, a la scala shapeless macros?

[pakoito]

we had something of the sorts for a while, now we’re back to regular typeclasses

[pakoito]

we have a whole platform for compiler plugins

[pakoito]

but nothing as powerful came out yet

[raulraja]

Type proofs support inductive resolution, we are currently building that just now in Meta. ETA April.

[Luke Rohde]

siiick that’s great to hear