forget type-is