some expansions on type processing caps