More work on dispatcher type safety .