Worth a comment saying `TODO An alternative (unsupported) syntax we could introduce is:`