Types should be kepts as they were before.