Merge branch 'megaparsec-7'

cabal.project

ma.cabal

src/MA/Coalgebra/Parser.hs

src/MA/Dot.hs

src/MA/FunctorExpression/Pretty.hs

src/MA/FunctorExpression/Sorts.hs

src/MA/Parser.hs

src/MA/Parser/Types.hs

src/MA/PartitionPrinter.hs

src/prism-converter/Main.hs

src/prism-converter/StatesFile.hs

stack.yaml

tests/MA/Coalgebra/ParserSpec.hs

tests/MA/Functors/PolynomialSpec.hs