generated types close to ideal