<@U0ER9B4P5> that's the point of the sealed class....
# rx
z
@rednifre that's the point of the sealed class. your
User
could be a
User.Authenticated
, or a
NotLoggedIn
user