Instance flagDescribable : describable flag := {
  descriptorOf f := flagDescribe f
}.
