“@jasdev @mbrandonw We still need to bind Outer to something to use it at a call site and ground the type. Any remaining generic allows us to create different types, like Email and Email, which might be totally what we want! But they’re diff types.”