Proof: update information about the bug in ghc-7.8.3

Also minimial example was fixed.