In this case in order to invoke

instances

we need the

Monad<F>

instance and we look it up using this: