Michael Marth
List<Option<A>>
Option<List<A>>
None
Patrick Louis
List<Option<A>>.sequence(Option.applicative())
Kind<ForOption,Kind<ForListK,A>>
fix()
sequence
A modern programming language that makes developers happier.