[goless]

Yes, but their expressiveness may vary. An important role of polystate is code reuse. It can express more complex states and still be type-safe.