The Opcode Follows the Type