Фазовый поворот на двоичную долю полного оборота

Входы — кубит в $|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$ и целое $k\ge0$.

Напишите операцию на языке Q#, переводящую кубит в

$$\alpha|0\rangle+\beta e^{2\pi i/2^k}|1\rangle.$$

Дополнительную общую фазу вводить нельзя: это существенно в следующих упражнениях.

Заготовка Q#:

namespace Kata {
    operation Rotation(q : Qubit, k : Int) : Unit is Adj + Ctl {
        // Implement your solution here...
     
    }
}