Run Length Encoding - Idris | SlaveCode