compile-time type safety

  1. REDIRECT Type safety