Fix problems with GHC's Typed Holes
ver bumps up.