Comment by throwawaymaths

i mean not really? it absolutely does nothing to segregate stateful impurity into a type theoretically stateless token