let
mk_car = (
Product
(
Car
), 2)