Inductive ResourceT :=
  Resource : FileNameT -> HashT -> ResourceRoleT -> CaptionT -> ResourceT.
