У меня есть функция, которая сначала смотрит в редис, а потом еще куда-то может идти
Можешь сделать инстанс MonadRedis для своей монады, где в liftRedis будешь например смотреть в контекст своего ридера, брать оттуда редисовый коннекшен и дёргать runRedis