untypeFeat :: TRoutine -> Routine
untypeFeat tfeat = 
  tfeat { routineImpl = untypeImpl (routineImpl tfeat)
        , routineReq  = untypeContract (routineReq tfeat)
        , routineEns  = untypeContract (routineEns tfeat)
        , routineRescue = map untypeStmt `fmap` routineRescue tfeat
        }
untypeFeat :: TRoutine -> Routine
untypeFeat tfeat = 
  tfeat { routineImpl = untypeImpl (routineImpl tfeat)
        , routineReq  = untypeContract (routineReq tfeat)
        , routineEns  = untypeContract (routineEns tfeat)
        , routineRescue = map untypeStmt `fmap` routineRescue tfeat
        }
untypeFeat tfeat = 
  tfeat { routineImpl = untypeImpl (routineImpl tfeat)
        , routineReq  = untypeContract (routineReq tfeat)
        , routineEns  = untypeContract (routineEns tfeat)
        , routineRescue = map untypeStmt `fmap` routineRescue tfeat
        }