These were caused by ghc!14639 We fix hiedb, but it's not clear to me how liquidhaskell-boot should be updated, so I have created an issue to ask for advice instead: ghc#26513
