Free theorem for traverse, proves the gets-law (almost)