SCALA-s võib olla keeruline töötada tüüpi arvutamisega , eriti kui töötada selliste struktuuridega nagu singletonitüübid . Püüdes väärtusi kaevata tüüpidest, millel on arvatavasti ainulaadne elanik, on väljakutse. Saame neid arvutusi optimeerida, kasutades Scala 3 siseseid meetodeid ja vormitu tunnistaja . See meetod on SCALA arendajatele kasulik tööriist, kuna see on vajalik metaprogrammeerimiseks, kompileerimise aja optimeerimiseks ja paremaks tüübi ohutuseks.