GHC does not use lens and it is, it seems, ok.