The only drawback is that we have to restrict iprod to finite types,
but that is fine.