{-# LANGUAGE TemplateHaskell #-}

{-@ LIQUID "--no-pattern-inline" @-}

module TemplateHaskell where

import Language.Haskell.TH.Syntax

foo = [| 1 + 2|]

bar :: Q [Dec]
bar = do
  Just varName <- lookupValueName "hello"
  return  [SigD varName $ ConT $ mkName "String"]