Tofu exposes a handful of useful typeclasses, which can come in handy if you are a fan of Tagless Final approach
(for basic understanding you can take a look here and there).
They allow more granular access to functionality, allowing you to see what exactly your code does.