[
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                            Lit(
                                Atom(
                                    "The-Other",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "The-Other",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: Some(
                        5,
                    ),
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Ap(
                                Ap(
                                    Var(
                                        "foo",
                                    ),
                                    Var(
                                        "bar",
                                    ),
                                ),
                                Var(
                                    "baz",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
]