What the fuck?

module Main where

import Data.Traversable (traverse)

f :: m Int
f = undefined

g :: Int -> m Bool
g = undefined

h :: Monad m => m (Int, Bool)
h = f >>= traverse pure . g

main :: IO ()
main = pure ()

INFO