you need the `Applicative` to use as a constructor...

# arrow

[pakoito]

you need the Applicative to use as a constructor (just) for the new value, that's what Applicative abstracts over