>>240
とりあえずflatMapが分かっていればいいんじゃない
入れ物がモナド、目的は分離/隔離

モナド則は使う側であればあまり気にしなくていい
圏論はガチ勢の領域