Is this case needed? as far as I can tell `[[]].flatten == []`