F.hs-boot:5:1: error: ‘F.F’ is exported by the hs-boot file, but not exported by the module F.hs-boot:6:10: error: instance O.O F.F is defined in the hs-boot file, but not in the module itself