ClosedFam3.hs-boot:8:1: error: [GHC-15843]
    Type constructor ‘Foo’ has conflicting definitions in the module
    and its hs-boot file.
    Main module: type Foo :: * -> *
                 type family Foo a where
                     Foo Int = Bool
                     Foo Double = Char
      Boot file: type Foo :: * -> *
                 type family Foo a where
                     Foo Int = Bool
    Type family equations do not match:
      The number of equations differs.

ClosedFam3.hs-boot:11:1: error: [GHC-15843]
    Type constructor ‘Bar’ has conflicting definitions in the module
    and its hs-boot file.
    Main module: type Bar :: * -> *
                 type family Bar a where
                     Bar Int = Bool
                     Bar Double = Double
      Boot file: type Bar :: * -> *
                 type family Bar a where
                     Bar Int = Bool
                     Bar Double = Char
    Type family equations do not match:
      The third equations do not match.
        The equation right-hand sides don't match.

ClosedFam3.hs-boot:15:1: error: [GHC-15843]
    Type constructor ‘Baz’ has conflicting definitions in the module
    and its hs-boot file.
    Main module: type Baz :: * -> *
                 type family Baz a where
                     Baz Int = Bool
      Boot file: type Baz :: forall k. k -> *
                 type family Baz a where
                     Baz Int = Bool
    The types have different kinds.