This is code from the paper "In Praise of Sequence (Co-)Algebra and its implementation in Haskell" by K. Clenaghan. The code supplied by the paper' s author. This repo just organizes that code a bit and adds examples.
cabal new-build
cabal new-run examples
or, even better, run
cabal new-repl examples
to make try out the library.
Examples are incomplete at the moment. Planning to add more.