ghc 8.0.1 -> 8.0.2