Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b

[Jon Fairbairn]

Tony Morris <tonymorris at gmail.com> writes:

> A contrary, consistent position would mean there is a belief in all of
> the following:
>
> * the length of any value of the type ((,) a) is not 1
> * 0 is not an integer

You say this, but I’m wondering why.  (-1) is also an integer,
so can you give me an example for the (-1) case?

  — Jón