monad以前にnatural transformationがわからない
いやそれ以前にdiagram, universal construction, limitあたりもあやしい