-- data Clause = ...
clauseIdKey :: Unique
clauseIdKey         = mkPreludeMiscIdUnique 262
clauseIdKey :: Unique
clauseIdKey         = mkPreludeMiscIdUnique 262
clauseIdKey         = mkPreludeMiscIdUnique 262