update for new lens/stm/ghc-7.8