They don't type check though; most constraints arent enforced, and the underlying reality (slinging around mostly strings) leaks out often.