Michael Marth
07/14/2020, 8:44 AMList<Option<A>> into a Option<List<A>> ? So if any if the `Option`s in the original List is None , the whole return type should be None .Patrick Louis
07/14/2020, 8:52 AMList<Option<A>>.sequence(Option.applicative()) will return a Option<List<A>> or rather Kind<ForOption,Kind<ForListK,A>> so you'll have to fix() output.Michael Marth
07/14/2020, 8:53 AMsequence !
Thanks! Could not remember from my Haskell days ...