add a demonstration on how to specify effects to be performed
based on conversations at the [Dagstuhl seminar on behavioural types](https://www.dagstuhl.de/26071) Signed-off-by: Roland Kuhn <[email protected]>