Compile-time Type Safety