In this case in order to invoke `instances` we nee...

# arrow

[raulraja]

In this case in order to invoke instances we need the Monad<F> instance and we look it up using this: