Use TCResult arguments for type transforms, rather than resolved Types