1useThen :: Applicative f => f Int -> f a -> f a
2useThen = _
3