How should a refined branded type work with the Effect type? - Effect Community