<p dir="ltr">> when we call sequence [Just 1, Just 2] we should get back a Just of [1,2]. Following that train of thoughts, shouldn't sequence [Just, Just] return a single Just?<br></p>
<p dir="ltr">What would sequence [Just 1, Nothing] return in this case?  Just 1 and Nothing are of the same type - they must be: they are part of the same list.</p>