fromJust package:liquidhaskell-boot