Applicative Functors for multiple arguments by Brian Lonsdorf