definingSigsNames :: (Eq t) => t -> ()
definingSigsNames x = undefined
  where
    _ = x == x   -- Suppress the complaint on this
definingSigsNames :: (Eq t) => t -> ()
definingSigsNames x = undefined
  where
    _ = x == x   -- Suppress the complaint on this
definingSigsNames x = undefined
  where
    _ = x == x   -- Suppress the complaint on this