Functional Programing in Scala (in Idris) [Idris]