Language.Haskell.Liquid.Bare.GhcSpec