やったこと

とてもマズい

色々とやることがあって、さすがに無理なのではないかという気持ちになる。

何が問題なのかは何となく分かるので行動していかないとならない。

とりあえずタスクを切っている。

LeanProps分からん

どうもTiersのflattenとかflatMapの定義はMonadにならないっぽい。
難しいな‥‥。

そのままflattenとかflatMapにしておくのもあれなので、flattenTとflatMapTにリネームした。