{ Type = ./Type
, adjunction = ./adjunction
, comonad = ./comonad
, functor = ./functor/package.dhall
, monad = ./monad
}