-> { _1, = 0 } ^~ _1 is reserved for numbered parameters