filterPowerRecordList ::
  (Ord a, Show a, Arith.Constant a, Node.C node) =>
  Params.System node a ->
  Sequ.List (Record.PowerRecord node [] a) ->
  ( Sequ.List (Record.PowerRecord node [] a),
    Sequ.List (Record.PowerRecord node [] a) )
filterPowerRecordList sysParams (Sequ.List recs) =
  let (ok, bad) = List.partition (consistentSection sysParams) recs
  in (Sequ.List ok, Sequ.List bad)
filterPowerRecordList ::
  (Ord a, Show a, Arith.Constant a, Node.C node) =>
  Params.System node a ->
  Sequ.List (Record.PowerRecord node [] a) ->
  ( Sequ.List (Record.PowerRecord node [] a),
    Sequ.List (Record.PowerRecord node [] a) )
filterPowerRecordList sysParams (Sequ.List recs) =
  let (ok, bad) = List.partition (consistentSection sysParams) recs
  in (Sequ.List ok, Sequ.List bad)
filterPowerRecordList sysParams (Sequ.List recs) =
  let (ok, bad) = List.partition (consistentSection sysParams) recs
  in (Sequ.List ok, Sequ.List bad)