圏論やるより型クラス勉強してモナド使うほうがhaskellの勉強になるから