let Common = ../Common/Type

in  λ(a : Type) →
        Common a
      ⩓ { exposed : Bool
        , exposed-modules : List Text
        , generated-exposed-modules : List Text
        , other-modules : List Text
        , generated-other-modules : List Text
        , reexported-modules : List Text
        , signatures : List Text
        }