./BuildInfo.dhall 
⫽ { scope = (constructors ../types/Scope.dhall ).Public {=} }