Class describable (A : Set) := {
  descriptorOf : A -> descriptor
}.
