Decoding a nullable string to a non-nullable string with a default value - Effect Community