Default.Sequence
T : TRAVERSE
val sequence_default : 'a T.applicative_t T.t -> 'a T.t T.applicative_t