once we have the compile time implicits <@U0B85AN6...

# arrow

[raulraja]

once we have the compile time implicits @Eugenio is working on we can safely write this function for all kinds for which an Applicative instance exists.