Type systems: Decoupled