Identified tvar with ident