Add cf/75*.hs