You don't need any type information at runtime if your type-system is strong enough. You need only types at runtime to do reflective checks, and you need those

You don't need any type information at runtime if your type-system is strong enough. You need only types at runtime to do reflective checks, and you need those only if your type-system can't give the needed guaranties statically at compile time.