# Pastebin vuNXujzL ghci> :m + Validation Data.These ghci> :t sequenceA [ Failure ["one"], Success 2, Failure ["three"] ] sequenceA [ Failure ["one"], Success 2, Failure ["three"] ] :: Num a => Validation [String] [a] ghci> sequenceA [ Failure ["one"], Success 2, Failure ["three"] ] -- using Validation Failure ["one","three"] ghci> sequenceA [ This ["one"], That 2, These ["three"] 3 ] -- using These This ["one"]