let
chain_and l =
`
And
l