IsString package:liquidhaskell-boot