Sieve - Idris | SlaveCode