Yours is the way to do it if you don't want to realise a `list`.