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