Re: C++ as a target language

Yep. I think it's beyond hope to get a new, alternative typedef syntax
in place. In an ideal world, perhaps one could get a 'typename'
construct added, used like (compare to real code in previous posting)

<hypotheticalcode>
#include <utility> // std::pair
#include <boost/shared_ptr.hpp> // boost::shared_ptr
namespace stdx = boost;

template< typename T >
struct List
{
     typename Node; // NEW LANGUAGE FEATURE, recursive defs.
     typedef stdx::shared_ptr<Node> Instance;
     typedef std::pair<T, Instance> Node;

     static Instance null() { return Instance(); }
     static Instance cons( T const& v, Instance list )
     {
         return Instance( new :Node( v, list ) );
     }
};