Thu 11 Aug 21:07 To implement the full support of State Monad in the Pratt library, first the minimal implementation of abstract has to exist. For now alternatively I will try to use the Angstrom library.