This is a good point. I think there's some merit in doing traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) mySpecialTravers

This is a good point. I think there's some merit in doing traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) mySpecialTraverse :: Int -> IO Float -> [Int] -> IO [Float] mySpecialTraverse = traverse in some instances.