Ċ data Ġclass ĠPermissions ( val Ġread : ĠList < String >, Ġval Ġwrite : ĠList < String >) Ċ Ċ data Ġclass ĠFile ( ĊĠĠĠ Ġval Ġ`$ id `: ĠString , ĊĠĠĠ Ġval Ġname : ĠString , ĊĠĠĠ Ġval Ġ`$ permissions `: ĠPermissions , ĊĠĠĠ Ġval Ġdate Created : ĠInt , ĊĠĠĠ Ġval Ġsignature : ĠString , ĊĠĠĠ Ġval ĠmimeType : ĠString , ĊĠĠĠ Ġval Ġsize Original : ĠInt ĊĠĠĠ Ġ) Ċ Ċ data Ġclass ĠFile List ( val Ġsum : ĠInt , Ġval Ġfiles : ĠList < File > ?)