@hackage hkd-default1.0.0.0

Apply default value for optional field of HKD