. Fix type signature of sequence.
. Fix type signature of foldMap.