型推論をプログラミング知識が乏しい人に説明するなら、どんな隠喩がいいと思う?