map knows non-empty arguments return non-empty seq