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.

Correctness is more important than runtime costs.

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

This is not a reject, is a not match. Write code like you want to read and if it’s not OK for a company it’s just not the good company (like if you are scala programmer and they want only ASM coders). Be proud of your code.

You right, it's pseudo terminal needed. The module pty of python can do this

maybe I'm biased, but python feels like endless boilerplate for unixy stuff

also I'm mostly using it to prepare an interactive environment anyway, so I don't see alternatives for my usecase (maybe zellij, but they don't even support sending keystrokes to a specific pane)