yes

you can also create a default

Show

for

Any?

to support whatever types you want and let users provide something else that is not show and then you can get as dirty and untyped as you want

if you are working with Any?

Seems like the current path folks are using for MPP meta is to use directly the PSI api's from IDEA

I still can't get kapt to work in an MPP project (even just on JVM). I might have to replace all the @extension with manual boilerplate. Is that a problem for you guys? What about if we moved some of the Gen instances to an arrow module, but kept the Gen : GenOf in KT so anyone can take advantage of Kind'ed Gens

I’m okay with that ye

I'm guessing having Gen as a higher kinded type is the most important thing ? Or am I wrong ?

correct, that unblocks everything else

the instances may remain jvm-only for now if necessary

we may figure out another way of generating the code instead

Yeah they are JVM only, I'm not worried about making this code JS compatible, I just need other code to be JS compatible, and with an MPP build, I can't get kapt to work at all (even just on jvm)

sounds good

Sorry if I'm messing you guys about

not at all!

we understand, we face these issues with anything kapt related, mpp, etc...

Ok cool

Are you going to the kotlin meetup on the 4th ?

I'm in southern Spain by then but maybe @pakoito if you are talking about London

Pablisco’s speaking IIRC

if it’s that one I promised to go 😄

I have it penned down as happening on the 5th tho

the 5th is a Friday

I'm flying to Italy that day

it's thursday the 4th

Hi! Is there, by chance, anyone in Prague at the end of May and would like to give a talk on Arrow for the local functional JVM community?

tempting

it's one of those places I wanted to visit

How can I use arrow-test suit for testing my typeclasses or typeclass instances?

Is there a reason why bracket is in arrow-effects and not in arrow-typeclasses? It seems odd considering almost all other typeclasses are in arrow-typeclasses o.O