Fixed problem with nested constructors and type instantiation for type vars