falseDataConId, trueDataConId :: Id
falseDataConId = dataConWorkId falseDataCon
falseDataConId, trueDataConId :: Id
falseDataConId = dataConWorkId falseDataCon
falseDataConId = dataConWorkId falseDataCon