Great and Small” Prev: types-and-functions Next: kleisli-categories Prev: types-and-functions Next: kleisli-categories