let P =
      https://prelude.dhall-lang.org/v20.1.0/package.dhall
        sha256:26b0ef498663d269e4dc6a82b0ee289ec565d683ef4c00d0ebdd25333a5a3c98

let Category = ../../../Hackage/Category/Type

let Benchmark = ../../Benchmark/package.dhall

let BuildType = ../../BuildType/Type

let Common = ../../Common/Type

let CustomSetup = ../../CustomSetup/Type

let Default = ../../Default/Type

let Executable = ../../Executable/package.dhall

let Flag = ../../Flag/Type

let Library = ../../Library/Type

let License = ../../License/Type

let Sublibrary = ../../Sublibrary/Type

let Test = ../../Test/package.dhall

in  λ(rec : (Type → Type) → Type) →
        Common (rec Common)
      ⩓ { synopsis : Optional Text
        , description : Optional Text
        , category : List Category
        , stability : Optional Text
        , homepage : Optional Text
        , bug-reports : Optional Text
        , author : List Text
        , maintainer : List Text
        , copyright : List Text
        , license : Optional License
        , license-file : List Text
        , tested-with : List Text
        , build-type : Optional BuildType
        , extra-source-files : List Text
        , extra-doc-files : List Text
        , data-files : List Text
        , data-dir : Optional Text
        , github : Optional Text
        , git : Optional Text
        , custom-setup : Optional CustomSetup
        , flags : P.Map.Type Text Flag
        , library : Optional (Library (rec Library))
        , internal-libraries : P.Map.Type Text (Sublibrary (rec Sublibrary))
        , executables : P.Map.Type Text (Executable.Type (rec Executable.Type))
        , executable : Optional (Executable.Type (rec Executable.Type))
        , tests : P.Map.Type Text (Test.Type (rec Test.Type))
        , benchmarks : P.Map.Type Text (Benchmark.Type (rec Benchmark.Type))
        , defaults : List Default
        }