name: Monads
include: .
depend: agda-categories, standard-library