[barmic12]

one issue is it’s not a type alias but a type encapsulation. This have a cost at runtime, it’s not like in some functionnals languages a non cost abstraction.

[vips7L]

Correctness is more important than runtime costs.

[LelouBil]

In languages like kotlin and rust you can have a type encapsulation like this that does not exist at runtime