t2apply :: (Monad m, Functor m) => (b -> m b') -> m (a, b) -> m (a, b')
t2apply f = (>>= _2 f)
t2apply :: (Monad m, Functor m) => (b -> m b') -> m (a, b) -> m (a, b')
t2apply f = (>>= _2 f)
t2apply f = (>>= _2 f)