Now it uses a mix of `expand` and `tupleof`...