s -> (s, a) is generic and a Functor (mappable - often conflated with a collection) but it's no collection!