Available on Some<Some<Some<Some<Some<Some<Some<Some<T>>>>>>>>, provided by the FlattenSomeExt8 extension