Marco Perone

It would be really neat if it was possible to generate user stories out of the Topology. Probably something like the following is possible. ``` -- Aggregate Given STATE When...

It would be nice to be able to implement an instance of [AutomatonM](https://hackage.haskell.org/package/machines-0.7.3/docs/Data-Machine-Process.html#t:AutomatonM) from the [machines](https://hackage.haskell.org/package/machines-0.7.3) package. This would allow using `crem` machines inside the `machines` framework

Currently the signature of `renderFlow` is fairly problematic. The first input in particular. We should find a better strategy to attach a name to every machine

https://github.com/input-output-hk/nothunks

When running `nix build -L ".#crem.ghc90"` with doctests in `crem-examples`, I get ``` crem> Could not import module: Crem.Example.TwoSwitchesGate. This can be caused by a number of issues: crem> 1....

create an example of a policy which collects events from two aggregates and generate a command for a third aggregate

Currently we are using a binary tree. Maybe we can generalize and reuse the `StateMachine` data structure, making it parametric on the content of its leaves

It fiddles with the flow representation. It would be nice to avoid introducing artificial constructors