My mistake. We don’t need to be as specific as `Action[A]` because anyway we return an `EssentialAction` (so we eliminate the `A` type information).