propDWTInvertible :: DwtInputRepa -> Bool
propDWTInvertible (DwtInputRepa (ls, sig)) =
    idwtS (computeS $ inv ls) (dwtS ls sig) =~ sig
propDWTInvertible :: DwtInputRepa -> Bool
propDWTInvertible (DwtInputRepa (ls, sig)) =
    idwtS (computeS $ inv ls) (dwtS ls sig) =~ sig
propDWTInvertible (DwtInputRepa (ls, sig)) =
    idwtS (computeS $ inv ls) (dwtS ls sig) =~ sig