|=> Action||A "finalizer" action. Called after all the trigger propagation is done. For example postRedisplay in imp-glut.
|-> Event Action||The action(s) producing the output of the system
|-> CBID -> Time -> a -> Action||The result is a trigger action, to be used in callbacks in the adapter. Warning, it is unsafe! The type variable a has to match the (monomorphic!) type of the corresponding callback exported by the adapter!
|This is the main function used by adapters. See imp-glut for an example on how
to write an adapter.