Simpler, requiring an Applicative[F2] was an bad implementation detail.