redBinds env (Binds r te eqns)  = do eqns <- redEqns env eqns
                                     bs <- staticDelayRule env (Binds r te eqns)
                                     return bs
redBinds env (Binds r te eqns)  = do eqns <- redEqns env eqns
                                     bs <- staticDelayRule env (Binds r te eqns)
                                     return bs
redBinds env (Binds r te eqns)  = do eqns <- redEqns env eqns
                                     bs <- staticDelayRule env (Binds r te eqns)
                                     return bs