Applicative-wired monad pattern

@emekoi would you be able to provide your name? I’d like to mention on my blog post the connection to relative monads and who pointed it out to me.