type t
  = TripleDES
  | AES