[ 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", ), ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Tup( [ Chc( [ Choice { weight: None, value: Cat( [], ), }, ], ), ], ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Tup( [ Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 1, ), ), ], ), }, ], ), ], ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Tup( [ Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 1, ), ), ], ), }, ], ), Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 2, ), ), ], ), }, ], ), ], ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Tup( [ Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 1, ), ), ], ), }, ], ), Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 2, ), ), ], ), }, ], ), Chc( [ Choice { weight: None, value: Cat( [ Lit( Num( 3, ), ), ], ), }, ], ), ], ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Range( Lit( Num( 0, ), ), Lit( Num( 20, ), ), ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Range( Var( "x", ), Var( "y", ), ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Ap( Var( "f", ), Var( "x", ), ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Fun( [ Case { pat: Var( "x", ), expr: Chc( [ Choice { weight: None, value: Cat( [ Var( "x", ), ], ), }, ], ), }, ], ), ], ), }, ], ), ), Puts( Chc( [ Choice { weight: None, value: Cat( [ Fun( [ Case { pat: Lit( Atom( "True", ), ), expr: Chc( [ Choice { weight: None, value: Cat( [ Lit( Str( "yes", ), ), ], ), }, ], ), }, Case { pat: Lit( Atom( "False", ), ), expr: Chc( [ Choice { weight: None, value: Cat( [ Lit( Str( "no", ), ), ], ), }, ], ), }, ], ), ], ), }, ], ), ), ]