ns std::collections pub int Collection : Monad { size: Int }