Applicative-based numeric instances