>>699
型の“推論”が必要な場面では、自明なケースはむしろ少ないだろう。