fixed the variance on Thrist
renamed Okasaki to Deque