( ! . (id.2π1.2π1,!.(id.2π2.2π1,2π2)o)o )* . distl . (id,iota.#.id.2π2)o . id . id . id