Fixed unions and type variables