-- type DerivPred = ...
derivClauseIdKey :: Unique
derivClauseIdKey = mkPreludeMiscIdUnique 493
derivClauseIdKey :: Unique
derivClauseIdKey = mkPreludeMiscIdUnique 493
derivClauseIdKey = mkPreludeMiscIdUnique 493