we will look up if there is an instance already de...

# arrow

[raulraja]

we will look up if there is an instance already declared for Applicative<F> and if not it will bail at compile time