The problem is that to compile Cycle, you need Cycle.Handle.
Cycle.Handle does not really depends on Cycle. However, since both are in the same file, it still ‘sort of’ depends on it.
And as a result, the compiler is unable to continue.
The solution is to move the nested module to a separate file.
