Add seqM proposal text
Subsections for Haskell section