Wishing for a type-safe way to distinguish native types

To check the prior discussions search for newtype in the forums. This seems to be the most recent.

@stephencelis's Tagged is the most well-known attempt at filling this gap, but it won't help with your array indexing issue.

1 Like