why not `Do Notation` and `Applicative`

[Dlutermade]

why not Do Notation and Applicative

i need Array<Option<T>> to Option<Array<T>>

if Array some None return should be None, otherwise be Some<Array<T>>