we already have all those already defined in Appli...
# arrow
r
we already have all those already defined in Applicative