A setup describes the initialization and finalization of a reactive system. It is equivalent to an action of type IO (IO ()) which initializes the system and returns a finalization action.

The mempty method of the Monoid instance denotes a setup which does no initialization and no finalization. The mappend method sequences initialization and finalization actions.