Může být obtížné pracovat s typovými výpočty v Scale, zejména při práci se strukturami, jako jsou typy singleton . Pokoušet se extrahovat hodnoty z typů, které pravděpodobně mají jedinečného rezidenta, představuje výzvu. Tyto výpočty můžeme optimalizovat pomocí inline metod Scala 3 a Shapeless 'Witness . Tato metoda je pro vývojáře Scala užitečným nástrojem, protože je nezbytná pro metaprogramování, optimalizaci kompilace a zlepšení bezpečnosti typu.