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