name: kleisli
include: . 
depend: agda-categories standard-library