Additionally we are building a compile time implic...

# arrow

[raulraja]

Additionally we are building a compile time implicits system that @Eugenio is leading that will allows us to have global implicits to resolve typeclass evidences at compile time without the Kotlin reification system at runtime which is what we are using for the time being