@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)
If .admin is True it should just do nothing.
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Traversable.py/traverse--crossover with--dataset/ETHPy150Open hypothesis/h/h/accounts/test/__init___test.py/test_make_admin_sets_admin_to_True_if_True