./BuildInfo.dhall  ⩓ { type : ./TestType.dhall  }