"Just Dogs": typescript with correspondence