template <typename CAR, typename CDR>
class cons : public std::pair<CAR, CDR>
{
public:
  cons(CAR& car, CDR& cdr)
    : std::pair<CAR, CDR>(car, cdr)
  {}
};