Add a Many construct and change test suite accordingly
Change to a recoverable computation which Many can be expressed in terms of. Start using Monoid again
Use lists to test various alternatives a bit more assuring