Why do you mix `Request[A]` with `R[A]`?