Language.Haskell.Liquid.Bare.DataType

makeConTypes

makeTyConEmbeds

makeRecordSelectorSigs

dataConSpec

meetDataConSpec

makeNumericInfo