@sig(H[(Applicative, "f"), (Traversable, "t")]/
        (H/ "a" >> t("f", "b")) >> t("t", "a") >> t("f", t("t", "b")))
def traverse(f, t):
    return Traversable[t].traverse(f, t)
traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Traversable.py/traverse