In #3648 we removed the `/xxx` syntax. Now, let's think about putting it back: ``` [] > number [x] > times /number ``` This will give us an additional strictness in compile time.
