Het kan moeilijk zijn om te werken met -type-berekeningen in Scala, met name bij het werken met structuren zoals singleton-typen . Proberen waarden te extraheren uit typen die vermoedelijk een unieke ingezetene hebben, vormt een uitdaging. We kunnen deze berekeningen optimaliseren door de inline methoden van Scala 3 te gebruiken en Shapeless 'Witness . Deze methode is een nuttig hulpmiddel voor scala-ontwikkelaars, omdat deze noodzakelijk is voor metaprogrammering, compilatie-tijdoptimalisatie en verbeterde veiligheid van het type.