This doesn't seem correct: A collection is not a boolean.

Doesn't this suggest there needs to be a concept of coercion in the type system?