type safety improvement