Conservative tracking of branching of a monad. Doable?

[Mads Hartmann Jensen]

Hi there, 

Assume I have a monad for looking up values in a dictionary by key. I wan't a conservative tracking of all keys used at compile time. Is this

doable in Scala? If so, could you point me in the right direction? 

Thanks,

Mads