+ Default methods for Foldable. 

. SequenceA derived from Traverse.
+ Instance for Array.