Get rid of Yi.Buffer.HighLevel.hs-boot