let
mk_cdr = (
Product
(
Cdr
), 3)