instantiation, contexts for recursion with many constructors