T2334A.hs:9:26:
    The constructor of a newtype must have exactly one field
      but ‘F’ has two
    In the definition of data constructor ‘F’
    In the newtype instance declaration for ‘F’

T2334A.hs:10:27:
    The constructor of a newtype must have exactly one field
      but ‘H’ has none
    In the definition of data constructor ‘H’
    In the newtype instance declaration for ‘F’

T2334A.hs:12:15:
    Conflicting family instance declarations:
      F Bool = K1 -- Defined at T2334A.hs:12:15
      F Bool = K2 -- Defined at T2334A.hs:13:15