Optional testing
Some profiling flags
We can use lens from nixpkgs now