useThen :: Applicative f => f Int -> f a -> f a
useThen = _