Language.Haskell.Liquid.Types.Literals
literalFRefType
literalFReft
literalConst