Wrong link, that's a different issue (type recursion). This is a good discussion...

		sixbrx on Feb 28, 2014 \| parent \| context \| favorite \| on: C++17: I See a Monad in Your Future Wrong link, that's a different issue (type recursion). This is a good discussion about limitations of polymorphic recursion in C++: http://lambda-the-ultimate.org/node/1319