Deriving the `Exit` Type from an `Effect` - Effect Community