DataCon.hs-boot 1 KB