{ Type = ./Type
, functor = ./functor/package.dhall
, lift = ./lift
, lower = ./lower
, monad = ./monad
}