RESPECTING TYPE