ns std::collections

pub int Collection<T : PartialEq> : Monad {
    size: Int
    fn contains(element: T): Bool
}