Very correct. In addition, it becomes a real pain when using generics with constraints in TS. TS doesn't support either type classes or module/namespace level

Very correct. In addition, it becomes a real pain when using generics with constraints in TS. TS doesn't support either type classes or module/namespace level generics so you end up duplicating the same constraints applied to generic parameters across several functions. It is often easier to just use stateless classes instead and incur the runtime overhead of instantiation even if that object serves no purpose.