type Language = Coq | FSharp | Haskell | Nix | Python | Rust | Shell | SQL
type Tooling = Docker | Git | Kafka | Make
type Infra = Kubernetes | Linux | Nomad | Terraform
type CloudProvider = AWS | Azure | GCP | OnPremise

type Experience =
  { Languages: Language list
    Tooling: Tooling list
    Infrastructure: Infra list
    CloudProviders: CloudProvider list }

let workedWith =
  { Languages = [ FSharp; Nix; Python; Shell; SQL ]
    Tooling = [ Docker; Git; Kafka; Make ]
    Infra = [ Kubernetes; Linux; Terraform ]
    CloudProviders = [ AWS; Azure ] }