applicative num instance.