Collatz Conjecture - Idris | SlaveCode