Language.Haskell.Liquid.Measure
data Spec ty bndr
type BareSpec
data MSpec ty ctor
mkM
mkMSpec
mkMSpec'
qualifySpec
mapTy
dataConTypes
defRefType