Zebra Puzzle - Idris | SlaveCode