قد يكون من الصعب العمل مع الحسابات على مستوى النوع في Scala ، وخاصة عند العمل مع هياكل مثل أنواع Singleton . محاولة استخراج القيم من الأنواع التي يفترض أن لها مقيم فريد يمثل تحديًا. يمكننا تحسين هذه العمليات الحسابية من خلال استخدام طرق Scala 3 المضمنة و Lative . هذه الطريقة هي أداة مفيدة لمطوري Scala نظرًا لأنه ضروري لتصوير الرماية ، وتحسين وقت الترجمة ، وتحسين سلامة النوع.