Types (speculative).