Is it possible to write a function like isOfTypeAn...

# announcements

[Hauke Radtki]

Is it possible to write a function like isOfTypeAndSafeOrError that is acting as a condition in a when block and has the following propierties:
When event is of Type SpecificEvent it selects the branch (like "is SpecificEvent -> ...") and then does some sanity checking on the event. When the check succeeds, the lambda block is executed, when it fails, an ErrorState is returned.

-.txt