log adj-monad.agda @ 662:e1d54c0f73a7

age author description
2013-08-08 Shinji KONO remove Kleisli record
2013-07-26 Shinji KONO stack overflow solved by moving implicit parameters to module parameters