./GitLab/package.dhall ∧ { Prelude = ./Prelude.dhall }