Unwrapping refined types - Effect Community