つまりモナドを説明する前に多相型を説明しろってことだ
多相型は文脈によって意味がかわる