Language.Haskell.Liquid.Bare.Measure
makeHaskellDataDecls
makeHaskellMeasures
makeHaskellInlines
makeHaskellBounds
makeMeasureSpec
makeMeasureSpec'
makeClassMeasureSpec
makeMeasureSelectors
strengthenHaskellMeasures
strengthenHaskellInlines
varMeasures