Implement types.