typestypes - S2020K