more of previous commit
rewrite CofiberSequence