the Okasaki examples build again, the RedBlackSet example is slow and unpleasant