-- | Constructor for type Packing, creating either a Packing or EmptyPacking
mkPacking :: LoadSpace -> [IndexedSpace] -> [ResidualSpace] -> Int -> Packing
mkPacking load [] _ _ = EmptyPacking load
mkPacking :: LoadSpace -> [IndexedSpace] -> [ResidualSpace] -> Int -> Packing
mkPacking load [] _ _ = EmptyPacking load
mkPacking load [] _ _ = EmptyPacking load