Remove lazyness from [Derivations].

Eases debugging.