What's the type for Dictionary/Map in Idris

How can I define one? I've not found any information about the matter in the documentation. Only about List and Vector.