But I don't want to inject the constructor. It's going to assume it's there. But saying Async<F> seems like that's not what tagless means.