Uncurry.
Fixed a couple of missing brackets.
Changed name of type_vec to more correct type_seq.
Note that maybe is an applicative functor in doc string.