Nehéz lehet dolgozni a típusszintű számításokkal Scala-ban, különösen akkor, ha olyan struktúrákkal dolgoznak, mint a singleton típusok . Az értékek kivonása olyan típusokból, amelyeknek feltehetően egyedi lakosa van, kihívást jelent. Ezeket a számításokat optimalizálhatjuk a Scala 3 inline módszereinek és a alak nélküli 'tanúinak felhasználásával. Ez a módszer hasznos eszköz a Scala fejlesztők számára, mivel a metaprogramozáshoz, az idő optimalizálásához és a javított típusbiztonsághoz szükséges.