Language.Haskell.Liquid.Bare.DataType

makeConTypes

makeTyConEmbeds

dataConSpec

meetDataConSpec