Why is a Set a function?

Question

In Scala a Set is a function:

trait Set[A] extends (A => Boolean)

This make it impossible to have a covariant immutable S

Answer 1

In contrast Seq is not defined as a function.

Not true.

Seq[T] extends (Int) => T