Is it bad to use a Branded string as a Record's key type? - Effect Community