I obviously want to have generics, but it would be awesome to be able to track changes to the mailbox. This would allow me to indicate if a function will remove a single item from the mailbox or multiple items. Its a way of not only indicating if a side effect took place (like the IO monad) but it indicates what type of an effect took place.
I obviously want to have generics, but it would be awesome to be able to track changes to the mailbox. This would allow me to indicate if a function will remove a single item from the mailbox or multiple items. Its a way of not only indicating if a side effect took place (like the IO monad) but it indicates what type of an effect took place.