Idris, Simple Map in Idris| World Anvil