used maybe monad in applySeq and siplified correctSeqs