if there is only one valid translation of the type constraints into executable code then what you have is a slow, expensive, and occasionally argumentative comp

if there is only one valid translation of the type constraints into executable code then what you have is a slow, expensive, and occasionally argumentative compiler it merely remains to build a debugger for your Turing-complete type system, and the toolchain will be ready for production